Stock image for illustration purposes only - book cover, edition or condition may vary.
Temporal Logic
. Ed(S): Gabbay, Dov M.; Ohlbach, Hans Jurgen
€ 129.91
FREE Delivery in Ireland
Description for Temporal Logic
Paperback. This volume constitutes the proceedings of the 1st International Conference on Temporal Logic, held in Bonn, Germany in July 1994. It provides reports of all aspects of temporal logic research relevant to general computer science and artificial intelligence. Editor(s): Gabbay, Dov M.; Ohlbach, Hans Jurgen. Series: Lecture Notes in Computer Science. Num Pages: 564 pages, biography. BIC Classification: UYA; UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 786.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1994
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
564
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
551
Place of Publication
Berlin, Germany
ISBN
9783540582410
SKU
V9783540582410
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Temporal Logic