Temporal logic : from ancient ideas to artificial intelligence

CiNii Available at 1 libraries

Bibliographic Information

Title
"Temporal logic : from ancient ideas to artificial intelligence"
Statement of Responsibility
by Peter Øhrstrøm and Per Hasle
Publisher
  • Springer-Science+Business Media
Publication Year
  • 1995
Book size
23 cm
Series Name / No
  • : pbk

Search this Book/Journal

Notes

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

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

Related Books

See more

Details 詳細情報について

Back to top