Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy, 57)
Full Title: | Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy, 57) |
---|---|
ISBN: | 0792335864 |
ISBN13: | 9780792335863 |
Authors: |
Øhrstrøm, Peter Hasle, Per |