Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings - Lecture Notes in Artificial Intelligence - Dov M Gabbay - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540582410 - June 29, 1994
In case cover and title do not match, the title is correct

Dov M Gabbay
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings - Lecture Notes in Artificial Intelligence 1994 edition

Price
$ 122.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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;

564 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 29, 1994
ISBN13 9783540582410
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 551
Dimensions 155 × 235 × 29 mm   ·   1.74 kg
Language German  
Editor Gabbay, Dov M.
Editor Ohlbach, Hans J.

More by Dov M Gabbay

Show all

Mere med samme udgiver

See all of Dov M Gabbay ( e.g. Paperback Book and Hardcover Book )