このページのリンク

Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle.
(Studies in linguistics and philosophy ; v. 57)

データ種別 図書
出版者 Dordrecht : Kluwer Academic Publishers
出版者 Boston
出版年 c1995.
大きさ viii, 413 p. : ill. ; 23 cm.
目次/あらすじ

所蔵情報を非表示


ASRS 116/Oe18t 05052006
0792335864

書誌詳細を非表示

一般注記 Includes bibliographical references (p. 386-404) and index.
著者標目 Øhrstrøm, Peter.
Hasle, Per F. V.
件 名 Tense (Logic)
Logic, Symbolic and mathematical.
Time.
分 類 NDC:116
書誌ID 1000215731
ISBN 0792335864
NCID BA26042961 WCLINK

 類似資料