Temporal Logic: From Ancient Ideas to Artificial Intelligence by Per Hasle, Peter Ohrstrom (Hardcover, 1995)

thenilestore (1245186)
99.1% positive feedback
Price:
AU $291.01
+ $4.99 postage
Estimated delivery Mon, 4 Aug - Fri, 8 Aug
Returns:
30-day returns. Buyer pays for return postage. If you use an eBay postage label, it will be deducted from your refund amount.
Condition:
Brand new
The sea-fight tomorrow. - The study of tenses in the middle ages. - Temporal ampliation. - The duration of the present. - The logic of beginning and ending. - Temporalis — the logic of 'While'.

About this product

Product Information

This text deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. 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. The book thus aims to interweave linguistic, philosophical and computational aspects into an informative whole.

Product Identifiers

PublisherSpringer
ISBN-139780792335863
eBay Product ID (ePID)94532640

Product Key Features

Publication NameTemporal Logic: from Ancient Ideas to Artificial Intelligence
SubjectComputer Science, Science
Publication Year1995
TypeTextbook
FormatHardcover
LanguageEnglish
AuthorPer Hasle, Peter Ohrstrom
Number of Pages416 Pages

Dimensions

Item Height297 mm
Item Weight1710 g
Item Width210 mm
Volume57

Additional Product Features

Country/Region of ManufactureNetherlands
Title_AuthorPer Hasle, Peter Ohrstrom
Series TitleStudies in Linguistics and Philosophy
TopicPopular Philosophy

All listings for this product

Buy It Now
New
No ratings or reviews yet.
Be the first to write a review.