Book by Gabbay Dov M Hodkinson Ian Reynolds Mark
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
The book presents some fundamental theorems which help to prove or disprove the expressiveness completeness of a temporal logic. Although the book is focused mainly on the authors' research, the breadth of their research allows them to cover a lot of interesting material ... a very comprehensive study of temporal logics, their expressiveness and axiomatization ... it is very thorough and presents the subjects of its focus in great depth. It can point practitioners of this field to existing results and thus is recommended as a good research reference. (D. Peled, The Computer Journal,)
'This book represents the fruitful achievments of the authors' outstanding accomplishments and coooperation in the field of temporal logic, providing a comprehensive mathematical and computational tool for research and applications of the domain... na extensive bibliography of 666 basic titles in the field, and adequate indexes, add to the high quality and usefulness of the book' Zentralblatt Math
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results.
Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Versand:
EUR 4,03
Innerhalb der USA
Versand:
EUR 3,81
Innerhalb der USA
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Zustand: Good. First edition, first printing, 653 pp., hardcover, lacks the jacket, spine severely slanted, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Bestandsnummer des Verkäufers ZB1298165
Anzahl: 1 verfügbar
Anbieter: SecondSale, Montgomery, IL, USA
Zustand: Acceptable. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Bestandsnummer des Verkäufers 00060125580
Anzahl: 1 verfügbar
Anbieter: 369 Bookstore _[~ 369 Pyramid Inc ~]_, Dover, DE, USA
Hardcover. Zustand: Good. This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference for both the pure logician and the theoretical computer scientist. Bestandsnummer des Verkäufers AMPLE0198537697
Anzahl: 1 verfügbar
Anbieter: Ammareal, Morangis, Frankreich
No jacket. Zustand: Très bon. Ancien livre de bibliothèque. Livre un peu vrillé. Sans jaquette. Couverture différente. Edition 1994. Tome 1. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Book slightly twisted. No dust jacket. Different cover. Edition 1994. Volume 1. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-867-957
Anzahl: 1 verfügbar
Anbieter: Ammareal, Morangis, Frankreich
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1994. Tome 1. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1994. Volume 1. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-595-569
Anzahl: 1 verfügbar
Anbieter: Half Moon Books, Kingston, NY, USA
Hardcover. Zustand: Very Good. Covers show some yellowing, soiling and scuffing. Bestandsnummer des Verkäufers mon0000001049
Anzahl: 1 verfügbar
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Cloth. Zustand: Very Good. Type: Book Small address label on ffep. Bestandsnummer des Verkäufers 050430
Anzahl: 1 verfügbar
Anbieter: GoldBooks, Denver, CO, USA
Hardcover. Zustand: new. New Copy. Customer Service Guaranteed. Bestandsnummer des Verkäufers think0198537697
Anzahl: 1 verfügbar
Anbieter: GoldenWavesOfBooks, Fayetteville, TX, USA
Hardcover. Zustand: new. New. Fast Shipping and good customer service. Bestandsnummer des Verkäufers Holz_New_0198537697
Anzahl: 1 verfügbar
Anbieter: GoldenDragon, Houston, TX, USA
Hardcover. Zustand: new. Buy for Great customer experience. Bestandsnummer des Verkäufers GoldenDragon0198537697
Anzahl: 1 verfügbar