Logics of Time and Computation (Volume 7) (Lecture Notes)
Goldblatt, Robert
ISBN 10: 0937073946 ISBN 13: 9780937073940
Verlag: Center for the Study of Language and Inf (edition 1), 1992
Gebraucht
Paperback
Verkäufer
BooksRun, Philadelphia, PA, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 2. Februar 2016
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Bestandsnummer des Verkäufers 0937073946-11-1
Inhaltsangabe:
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
Críticas: "This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Logics of Time and Computation (Volume 7) (...
Verlag: Center for the Study of Language and Inf (edition 1)
Erscheinungsdatum: 1992
Einband: Paperback
Zustand: Good
Auflage: 1.
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Logics of Time & Computation 2e
Verlag:
Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Neu
Paperback
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. Artikel-Nr. __0937073946
Neu kaufen
EUR 28,14
EUR 11,38 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logics of Time & Computation 2e
Verlag:
Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Neu
Paperback
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. Artikel-Nr. zk0937073946
Neu kaufen
EUR 47,25
EUR 11,38 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar