Temporal Logic: From Ancient Ideas to Artificial Intelligence by Peter Ohrstrom, Per F.V. Hasle (Hardback, 1995)
Be the first to write a review
Brand new: lowest price
AU $540.95
+ AU $12.95 postage- Get it by Thu, 24 May - Wed, 30 May from West Ryde, NSW
- • Brand new condition
- • No returns, but backed by eBay Money Back Guarantee
The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language.