Temporal Logic
Subtitle: From Ancient Ideas to Artificial Intelligence
Format: digital
ISBN-13: 9780585374635
Notes: Source title: Temporal Logic: From Ancient Ideas to Artificial Intelligence