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.

Über den Autor: 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, 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 85,65
Währung umrechnen

In den Warenkorb

Versand: EUR 7,05
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

2.

Gabbay, Dov M./ Hodkinson, Ian/ Reynolds, Mark A.
Verlag: Oxford Univ Pr (1994)
ISBN 10: 0198537697 ISBN 13: 9780198537694
Gebraucht Hardcover Anzahl: 1
Anbieter
Bookbyte
(Salem, OR, USA)
Bewertung
[?]

Buchbeschreibung Oxford Univ Pr, 1994. Hardcover. Buchzustand: Good. Has minor wear and/or markings. SKU:9780198537694-3-0-3. Buchnummer des Verkäufers 9780198537694-3-0-3

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

Gebraucht kaufen
EUR 86,71
Währung umrechnen

In den Warenkorb

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

3.

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 224,22
Währung umrechnen

In den Warenkorb

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

4.

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 245,35
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer