All Categories /
Computers & Technology /
Computer Science

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827)

(9)
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827) image
ISBN-10:

354058241X

ISBN-13:

9783540582410

Edition: 1994
Released: Jun 29, 1994
Publisher: Springer
Format: Paperback, 564 pages
Find in Library

Description:

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.

Best prices to buy, sell, or rent ISBN 9783540582410

‌
‌
‌

Related Books

  • 1
  • 2
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 image
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
Gabbay, Dov. M.; Reynolds, Mark A.; Finger, Marcelo
Edition:1
ISBN-13:9780198537687
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides) image
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)
Reynolds, Mark; Gabbay, Dov. M.; Hodkinson, Ian
ISBN-13:9780198537694

Frequently Asked Questions about Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827)

You can buy the Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827) book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from ‌ and is $‌ for the ‌.

The price for the book starts from $52.99 on Amazon and is available from 8 sellers at the moment.

If you’re interested in selling back the Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.

As for the Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827) book, the best buyback offer comes from ‌ and is $‌ for the book in good condition.‌

‌‌‌‌‌‌‌‌‌‌

Not enough insights yet.

Not enough insights yet.