Temporal Logic
Subtitle: From Ancient Ideas to Artificial Intelligence
Publisher: Springer
Published: Mar 14, 2014
Format: paperback
Number of pages: 428
ISBN-13: 9789401737753
Notes: Source title: Temporal Logic: From Ancient Ideas to Artificial Intelligence