Gesamtpreis (1 Artikel Artikel):
Versandziel:
volume mathematical foundations computational von gabbay dov (3 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (3)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (2)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 25 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 25 bis EUR 45
- Mehr als EUR 45
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications. Studies in Logic Mathematical Logic and Foundations. Volume 12.
Anbieter: KULTur-Antiquariat, Boizenburg, MV, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 27,50
Währung umrechnenEUR 17,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbBroschiert. Zustand: Gut. 1. Auflage,. 308 Seiten, Buch gut erhalten, Einband berieben. Ehemaliges Bibliotheksexemplar mit üblichen Stempelungen, Aufklebern und/oder Einträgen sowie foliertem Einband. Aufkleberreste auf der unteren Hälfte des Buches. Auf Titelei Namenseintrag. ISBN: 9781904987567 Sprache: Englisch Gewicht in Gramm: 520.
-
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 316,23
Währung umrechnenEUR 14,23 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Temporal Logic : Mathematical Foundations and Computational Aspects Volume 2
Verlag: Oxford University Press (UK) Jun 2000, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 438,20
Währung umrechnenEUR 32,96 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware - This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist.
