Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle.
- Øhrstrøm, Peter.
- Date:
- [1995], ©1995
- Books
About this work
Publication/Creation
Dordrecht ; Boston : Kluwer Academic Publishers, [1995], ©1995.
Physical description
viii, 413 pages : illustrations ; 23 cm.
Contributors
Notes
Copy 1 Supplier/Donor: Houtschild
Bibliographic information
Includes bibliographic references (p. 386-404) and index
Languages
Subjects
Where to find it
Location Status History of MedicineAJTOpen shelves
Permanent link
Identifiers
ISBN
- 0792335864