ISBN 10: 0198537697 / ISBN 13: 9780198537694
Gebraucht / Anzahl: 0
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen

Über dieses Buch

Leider ist dieses Exemplar nicht mehr verfügbar. Wir haben Ihnen weitere Exemplare dieses Titels unten aufgelistet.

Beschreibung:

Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: 1. The handling of time: introduction and survey2. Semantical presentation of temporal connectives3. Axiomatic presentation of propositional temporal connectives4. Predicate temporal logics5. Temporal logics presented in the predicate calculus: language-metalanguage6. A general theory of axiomatization for propositional temporal logic7. Basic many-dimensional systems8. Propositional quantifiers and fixed point operators9. Expressive power of one-dimensional temporal connectives: basic concepts10. Expressive completeness of Since and Until over integer and real time11. Expressive completeness of Stavi connectives over general linear time12. Further expressive completeness results13. H-dimension14. Adding a temporal dimension to a logic system15. Decidability in temporal logicBibliographyNotation IndexIndex of SystemsIndex. Buchnummer des Verkäufers

Über diesen Titel:

Bewertung (bereitgestellt von Goodreads):
0 durchschnittlich
(0 Bewertungen)

Inhaltsangabe: 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.

About the Author: Dov Gabbay, Ian Hodkinson, and Mark Reynolds are all at Imperial College of Science, Technology and Medicine, London.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Zustand: New

Beste Suchergebnisse bei AbeBooks

1.

Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
Verlag: Clarendon Press 1994-08-25 (1994)
ISBN 10: 0198537697 ISBN 13: 9780198537694
Gebraucht Hardcover Anzahl: 1
Anbieter
Bellwetherbooks
(McKeesport, PA, USA)
Bewertung
[?]

Buchbeschreibung Clarendon Press 1994-08-25, 1994. Hardcover. Buchzustand: Fine. 0198537697 LIKE NEW/UNREAD!!! Text is Clean and Unmarked! Has a small black line on bottom/exterior edge of pages. Tracking is not available for orders shipped outside of the United States. **Heavier books will require additional postage for International** PA Sales Tax is included in purchase price. Buchnummer des Verkäufers OX-HC3917-LN-M-0198537969

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 23,85
Währung umrechnen

In den Warenkorb

Versand: EUR 3,38
Innerhalb USA
Versandziele, Kosten & Dauer

2.

Gabbay, D, M, Hodkinson, I, Reynolds, M.
Verlag: Oxford Science Publications (1994)
ISBN 10: 0198537697 ISBN 13: 9780198537694
Gebraucht Hardcover Anzahl: 1
Anbieter
Anybook Ltd.
(Lincoln, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Oxford Science Publications, 1994. Buchzustand: Good. Volume 1. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. With usual stamps and markings, In good all round condition. No dust jacket. Buchnummer des Verkäufers 6034951

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 82,47
Währung umrechnen

In den Warenkorb

Versand: EUR 6,79
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

3.

ISBN 10: 0198537697 ISBN 13: 9780198537694
Gebraucht Anzahl: 1
Anbieter
BookSleuth
(Sanford, NC, USA)
Bewertung
[?]

Buchbeschreibung Buchzustand: Good. Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides). Buchnummer des Verkäufers Grb1147786

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 93,99
Währung umrechnen

In den Warenkorb

Versand: EUR 3,42
Innerhalb USA
Versandziele, Kosten & Dauer

4.

Dov M. Gabbay, Ian Hodkinson, Mark Reynolds
Verlag: Oxford University Press, USA (1994)
ISBN 10: 0198537697 ISBN 13: 9780198537694
Neu Hardcover Anzahl: 1
Anbieter
Ergodebooks
(RICHMOND, TX, USA)
Bewertung
[?]

Buchbeschreibung Oxford University Press, USA, 1994. Hardcover. Buchzustand: New. Buchnummer des Verkäufers DADAX0198537697

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 350,15
Währung umrechnen

In den Warenkorb

Versand: EUR 3,42
Innerhalb USA
Versandziele, Kosten & Dauer

5.

Dov M. Gabbay; Ian Hodkinson; Mark Reynolds
Verlag: Clarendon Press (1994)
ISBN 10: 0198537697 ISBN 13: 9780198537694
Neu Hardcover Anzahl: 1
Anbieter
Irish Booksellers
(Rumford, ME, USA)
Bewertung
[?]

Buchbeschreibung Clarendon Press, 1994. Hardcover. Buchzustand: New. book. Buchnummer des Verkäufers 0198537697

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 369,63
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer

6.

Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
ISBN 10: 0198537697 ISBN 13: 9780198537694
Gebraucht Hardcover Anzahl: 1
Anbieter
Atmosphere Books
(DH, SE, Spanien)
Bewertung
[?]

Buchbeschreibung Hardback. Buchzustand: Muy Bueno / Very Good. Buchnummer des Verkäufers 100000000676289

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 1.782,00
Währung umrechnen

In den Warenkorb

Versand: EUR 29,00
Von Spanien nach USA
Versandziele, Kosten & Dauer