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.

Series

Contributors

Notes

Copy 1 Supplier/Donor: Houtschild

Bibliographic information

Includes bibliographic references (p. 386-404) and index

Languages

Subjects

Where to find it

  • LocationStatus
    History of Medicine
    AJT
    		Open shelves

Permanent link

Identifiers

ISBN

  • 0792335864