
Temporal Logic
Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.
- Undertitel
- From Ancient Ideas to Artificial Intelligence
- Författare
- Peter Øhrstrøm, Per Hasle
- Upplaga
- 1995 ed.
- ISBN
- 9780792335863
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 1995-09-30
- Förlag
- Springer
- Sidor
- 416
