Dov M. (Hrsg.) Gabbay
Temporal Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Buch
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as we…
Mehr
Beschreibung
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.
CHF 144.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Ohlbach, Hans J. (Hrsg.)
- ISBN: 978-3-540-58241-0
- EAN: 9783540582410
- Produktnummer: 3257249
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1994
- Seitenangabe: 564 S.
- Masse: H23.4 cm x B15.4 cm x D3.0 cm 725 g
- Auflage: 1994
- Abbildungen: Paperback
- Gewicht: 725
100 weitere Werke von Dov M. (Hrsg.) Gabbay:
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 189.00
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 100.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (EPUB Format)
CHF 232.20
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 236.00
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 271.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 330.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (EPUB Format)
CHF 277.35
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 194.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 141.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 236.00
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 118.00
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 264.45
Bewertungen
0 von 0 Bewertungen
Anmelden
Keine Bewertungen gefunden. Seien Sie der Erste und teilen Sie Ihre Erkenntnisse mit anderen.