Temporal logic : from ancient ideas to artificial intelligence

CiNii 所蔵館 1館

書誌事項

タイトル
"Temporal logic : from ancient ideas to artificial intelligence"
責任表示
by Peter Øhrstrøm and Per Hasle
出版者
  • Springer-Science+Business Media
出版年月
  • 1995
書籍サイズ
23 cm
シリーズ名/番号
  • : pbk

この図書・雑誌をさがす

注記

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

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

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ