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

Author
Øhrstrøm, Peter [Browse]
Format
Book
Language
English
Published/​Created
Dordrecht ; Boston : Kluwer Academic Publishers, c1995.
Description
viii, 413 p. : ill. ; 23 cm.

Details

Subject(s)
Related name
Series
Studies in linguistics and philosophy ; v. 57 [More in this series]
Bibliographic references
Includes bibliographical references (p. 386-404) and index.
ISBN
0792335864 (hb : alk. paper)
LCCN
95022191
OCLC
32700139
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view

Supplementary Information