Temporal Logic
Subtitle: From Ancient Ideas to Artificial Intelligence
Publisher: Springer
Published: Dec 07, 2010
Format: paperback
Number of pages: 424
ISBN-13: 9789048145843
Notes: Source title: Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy (57))