Articoli correlati a Handbook of Philosophical Logic: Volume 13

Handbook of Philosophical Logic: Volume 13 - Brossura

 
9789048168903: Handbook of Philosophical Logic: Volume 13

Sinossi

poral query language. temporal transactions.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

"The best starting point for exploring any of the topics in logic"
                                                                  Encyclopaedia Britannica

Contenuti

Editorial Preface The Practical Turn in Logic Fibring of Logics as a Universal Construction Provability Logic Index

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2010
  • ISBN 10 9048168902
  • ISBN 13 9789048168903
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero edizione2
  • Numero di pagine376
  • RedattoreGabbay D.M., Guenthner Franz
  • Contatto del produttorenon disponibile

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9781402035203: Handbook of Philosophical Logic (13): Volume 13

Edizione in evidenza

ISBN 10:  1402035209 ISBN 13:  9781402035203
Casa editrice: Kluwer Academic Pub, 2005
Rilegato

Risultati della ricerca per Handbook of Philosophical Logic: Volume 13

Immagini fornite dal venditore

Gabbay, Dov M.|Guenthner, Franz
Editore: Springer Netherlands, 2010
ISBN 10: 9048168902 ISBN 13: 9789048168903
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Editorial Preface The Practical Turn in Logic Fibring of Logics as a Universal Construction Provability Logic Index The best starting point for exploring any of the topics in logic &nbsp&nbsp&nbsp&nbsp&nbsp&nbsp&nbsp&nbsp&nbsp&nbsp&nbsp&n. Codice articolo 5820739

Contatta il venditore

Compra nuovo

EUR 181,53
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Franz Guenthner
ISBN 10: 9048168902 ISBN 13: 9789048168903
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based e ective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist will wake up one morning with the realisation that he is actually a kind of formal philosopher! The projected number of volumes for this Handbook is about 18. The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent that it no longer makes sense to dedicate volumes to topics. However, the volumes do follow some natural groupingsof chapters. Iwould liketothank our authorsand readersfor their contributionsand their commitment in making this Handbook a success. Thanksalso to our publication administrator Mrs J. Spurr for her usual dedication and excellence and to Kluwer Academic Publishers (now Springer) for their continuing support for the Handbook. Dov Gabbay King s College London 10 Logic IT Natural Program Arti cial in- Logicp- language control spec- telligence gramming processing i cation, veri cation, concurrency Temporal Expressive Expressive Planning. Extension of logic power of tense power for re- Time depen- Horn clause operators. current events. dent data. with time Temporal Speci cation Eventcalculus. capability. indices. Sepa- of tempo- Persistence Event calculus. ration of past ral control. through time Temporal logic from future Decision prob- theFrame programming. lems. Model Problem. T- checking. poral query language. temporal transactions. 376 pp. Englisch. Codice articolo 9789048168903

Contatta il venditore

Compra nuovo

EUR 213,99
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Franz Guenthner
Editore: Springer Netherlands, 2010
ISBN 10: 9048168902 ISBN 13: 9789048168903
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based e ective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist will wake up one morning with the realisation that he is actually a kind of formal philosopher! The projected number of volumes for this Handbook is about 18. The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent that it no longer makes sense to dedicate volumes to topics. However, the volumes do follow some natural groupingsof chapters. Iwould liketothank our authorsand readersfor their contributionsand their commitment in making this Handbook a success. Thanksalso to our publication administrator Mrs J. Spurr for her usual dedication and excellence and to Kluwer Academic Publishers (now Springer) for their continuing support for the Handbook. Dov Gabbay King s College London 10 Logic IT Natural Program Arti cial in- Logicp- language control spec- telligence gramming processing i cation, veri cation, concurrency Temporal Expressive Expressive Planning. Extension of logic power of tense power for re- Time depen- Horn clause operators. current events. dent data. with time Temporal Speci cation Eventcalculus. capability. indices. Sepa- of tempo- Persistence Event calculus. ration of past ral control. through time Temporal logic from future Decision prob- theFrame programming. lems. Model Problem. T- checking. poral query language. temporal transactions. Codice articolo 9789048168903

Contatta il venditore

Compra nuovo

EUR 217,46
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2010
ISBN 10: 9048168902 ISBN 13: 9789048168903
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Apr0316110338136

Contatta il venditore

Compra nuovo

EUR 209,18
Convertire valuta
Spese di spedizione: EUR 66,16
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Franz Guenthner
ISBN 10: 9048168902 ISBN 13: 9789048168903
Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Neuware -poral query language. temporal transactions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch. Codice articolo 9789048168903

Contatta il venditore

Compra nuovo

EUR 277,13
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2010
ISBN 10: 9048168902 ISBN 13: 9789048168903
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9789048168903_new

Contatta il venditore

Compra nuovo

EUR 285,84
Convertire valuta
Spese di spedizione: EUR 10,72
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2010
ISBN 10: 9048168902 ISBN 13: 9789048168903
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 376. Codice articolo 263072028

Contatta il venditore

Compra nuovo

EUR 307,21
Convertire valuta
Spese di spedizione: EUR 7,94
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Gabbay, D.M. (Editor) / Guenthner, Franz (Editor)
Editore: Springer, 2005
ISBN 10: 9048168902 ISBN 13: 9789048168903
Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 2nd edition. 374 pages. 9.45x6.30x0.85 inches. In Stock. Codice articolo x-9048168902

Contatta il venditore

Compra nuovo

EUR 308,33
Convertire valuta
Spese di spedizione: EUR 11,92
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2010
ISBN 10: 9048168902 ISBN 13: 9789048168903
Nuovo Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Print on Demand pp. 376 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 5857219

Contatta il venditore

Compra nuovo

EUR 323,15
Convertire valuta
Spese di spedizione: EUR 10,55
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Guenthner Franz Gabbay D.M.
Editore: Springer, 2010
ISBN 10: 9048168902 ISBN 13: 9789048168903
Nuovo Brossura
Print on Demand

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. PRINT ON DEMAND pp. 376. Codice articolo 183072022

Contatta il venditore

Compra nuovo

EUR 325,92
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello