Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle.

  • Peter Øhrstrøm
Date:
[1995]
  • Books

About this work

Publication/Creation

Dordrecht ; Boston : Kluwer Academic Publishers, [1995]

Physical description

viii, 413 pages : illustrations ; 23 cm.

Series

Contributors

Bibliographic information

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

Notes

Copy 1 Supplier/Donor: Houtschild

Languages

Subjects

Where to find it

  • LocationStatus
    History of Medicine
    AJT
    		Open shelves

Permanent link

Identifiers

ISBN

  • 0792335864