このページのリンク

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / David McAllester (ed.)
(Lecture notes in computer science ; 1831 . Lecture notes in artificial intelligence)

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

所蔵情報を非表示

書庫2階 QA:76.9:A96:I57:2000
3540676643 003079623

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *International Conference on Automated Deduction (17th : 2000 : Pittsburgh, PA)
McAllester, David A.
件 名 LCSH:Automatic theorem proving -- Congresses  全ての件名で検索
LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分 類 LCC:QA76.9.A96
巻冊次 ISBN:3540676643 REFWLINK
ISBN 3540676643
NCID BA47113026 WCLINK
目次/あらすじ

 類似資料