このページのリンク

Theory reasoning in connection calculi / Peter Baumgartner
(Lecture notes in computer science ; Lecture Notes in artificial intelligence 1527)

データ種別 図書
出版者 Berlin : Springer
出版年 c1998
本文言語 英語
大きさ ix, 283 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.9:A96:B38:1998
3540655093 002759502

書誌詳細を非表示

一般注記 Includes bibliographical references (p. [269]-280) and index
著者標目 Baumgartner, Peter
件 名 LCSH:Automatic theorem proving
巻冊次 ISBN:3540655093 REFWLINK
ISBN 3540655093
NCID BA39305666 WCLINK
目次/あらすじ

 類似資料