Temporal Logic Image close
Temporal Logic
Temporal Logic
Show Hide Adult Content
Temporal Logic close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Temporal Logic

First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$275.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $69.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Lecture Notes in Artificial Intelligence

See all products in this series

Advances in Brain Inspired Cognitive Systems
$187.99
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 29 May 2024
Advances in Knowledge Discovery and Data Mining
$291.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 7 Jun 2024
Trends and Applications in Knowledge Discovery and Data Mining
$240.99
Trends and Applications in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 5 Jun 2024
Verification of Object-Oriented Software. The KeY Approach
$281.99
Verification of Object-Oriented Software. The KeY Approach
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Translation: From Research to Real Users Save $21
$147.99
$169.95
Machine Translation: From Research to Real Users
Paperback / softback
Available - Usually ships in 3-4 weeks
Verbal and Nonverbal Communication Behaviours Save $17
$140.99
$158.95
Verbal and Nonverbal Communication Behaviours
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Intelligence and Cognitive Science Save $19
$138.99
$158.95
Artificial Intelligence and Cognitive Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Programming and Nonmonotonic Reasoning Save $10
$147.99
$158.95
Logic Programming and Nonmonotonic Reasoning
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Web Intelligence Save $19
$138.99
$158.95
Advances in Web Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Inductive Logic Programming
$138.99
Inductive Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Knowledge Science, Engineering and Management Save $35
$149.99
$185.95
Knowledge Science, Engineering and Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Neural Systems Save $38
$272.99
$311.95
Hybrid Neural Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Multi-Agent Systems and Applications
$142.99
Multi-Agent Systems and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Qualitative Spatial Reasoning with Topological Information by Jochen Renz Save $19
$138.99
$158.95
Qualitative Spatial Reasoning with Topological Information
by Jochen Renz ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Discovery Science
$139.99
Discovery Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Intelligence in Education
$222.99
Artificial Intelligence in Education
Paperback / softback
Available - Usually ships in 3-4 weeks

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.
Release date Australia
June 29th, 1994
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Dov M Gabbay
  • Edited by Hans J Ohlbach
Illustrations
XIII, 551 p.
Pages
551
Dimensions
156x234x29
ISBN-13
9783540582410
Product ID
2813021

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Databases
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Artificial intelligence