Temporal logic : from ancient ideas to artificial intelligence

著者

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

書誌事項

Temporal logic : from ancient ideas to artificial intelligence

by Peter Øhrstrøm and Per F.V. Hasle

（Studies in linguistics and philosophy, v. 57）

Kluwer Academic Publishers, c1995

注記

Bibliography: p. 386-404

Includes index

詳細情報

• NII書誌ID(NCID): BA26042961
• ISBN:
  • 0792335864
• LCCN: 95022191
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht ; Boston
• ページ数/冊数: viii, 413 p.
• 大きさ: 23 cm
• 分類:
  • NDC9 : 116
  • LCC : BC199.T4
  • DC20 : 160
• 件名:
  • LCSH : Tense (Logic)
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Time
• 親書誌ID:
  • BA00047245