Logics of Time & Computation 2e
Goldblatt, Robert
ISBN 10: 0937073946 ISBN 13: 9780937073940
Verlag: Stanford Univ Center for the Study, 1992
Neu
Paperback
Verkäufer
Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 6. Januar 2003
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. Bestandsnummer des Verkäufers 0937073946
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 & Computation 2e
Verlag: Stanford Univ Center for the Study
Erscheinungsdatum: 1992
Einband: Paperback
Zustand: Brand New
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Logics of Time and Computation (Lecture Notes)
Verlag:
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Neu
Trade Paperback
Anbieter: Reader's Corner, Inc., Raleigh, NC, USA
Verkäuferbewertung 5 von 5 Sternen
Trade Paperback. Zustand: New. Second Edition, Revised & Expanded. This is a new, paperback, second edition copy, maroon spine. Bestandsnummer des Verkäufers 087841
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. Bestandsnummer des Verkäufers __0937073946
Neu kaufen
EUR 27,96
Versand:
EUR 11,31
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logics of Time and Computation (Volume 7) (Lecture Notes)
Verlag:
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Neu
Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780937073940_new
Neu kaufen
EUR 31,03
Versand:
EUR 13,55
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logics of Time and Computation (Volume 7) (Lecture Notes)
Verlag:
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Neu
Paperback
Anbieter: BennettBooksLtd, San Diego, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. In shrink wrap. Looks like an interesting title! Bestandsnummer des Verkäufers Q-0937073946