Temporal logic : from ancient ideas to artificial intelligence

Author(s)

• Øhrstrøm, Peter
• Hasle, Per F. V.

Bibliographic Information

Temporal logic : from ancient ideas to artificial intelligence

by Peter Øhrstrøm and Per Hasle

（Studies in linguistics and philosophy, 57）

Springer-Science+Business Media, 1995

• : pbk

Note

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

"Softcover reprint of the hardcover 1st edition 1995" -- T.p. verso

Details

• NCID: BB20642475
• ISBN:
  • 9789048145843
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht
• Pages/Volumes: viii, 413 p
• Size: 23 cm
• Classification:
  • DC22 : 160
• Subject Headings:
  • LCSH : Tense (Logic)
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Time
• Parent Bibliography ID:
  • BA00047245