<図書>

Instantiation theory : on the foundations of automated deduction / J.G. Williams

(Lecture notes in computer science;518 . Lecture notes in artificial intelligence)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : Berlin 39:L:1.518 2012364101

5968/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1991
大きさ viii, 133 p. ; 25 cm
一般注記 Bibliographical references: p. [128]-133
著者標目 *Williams, James G.
件 名 LCSH:Automatic theorem proving
分 類 LCC:QA76.9.A96
DC20:511.3
NDC8:007.1
本文言語 英語
書誌ID 2000208192
ISBN 3540543333
NCID BA1276137X WCLINK

検索結果一覧に戻る ページトップ