Temporal Logic: From Ancient Ideas to Artificial Intelligence by Peter Ohrstrom, Per F.V. Hasle (Hardback, 1995)

Brand new: lowest price

AU $540.95

+ AU $12.95 postage
  • Get it by Thu, 24 May - Wed, 30 May from West Ryde, NSW
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.
Sold byausreseller (143351)97.5% positive Feedback