Temporal Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
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
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:
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
Approaches to Legal Rationality
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 189.00
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 100.50
Greek, Indian and Arabic Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (EPUB Format)
CHF 232.20
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 236.00
Belief Change
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 271.50
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 330.50
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
Logic from Russell to Church
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (EPUB Format)
CHF 277.35
What is Negation?
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 194.50
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 141.50
Advances in Temporal Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 236.00
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 200.50
Handbook of Philosophical Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 118.00
Computational Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ebook (PDF Format)
CHF 264.45
Bewertungen
Anmelden