このページのリンク

Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.]
(Lecture notes in mathematics ; 125)

データ種別 図書
出版情報 Berlin : Springer-Verlag , 1970
本文言語 英語
大きさ 310 p. ; 26 cm

所蔵情報を非表示

積層4層
410.8||L||125 9851179092


積層4層
410.8||L||125(B) 9851181962


書誌詳細を非表示

一般注記 English or French
Includes bibliographies
著者標目  *Symposium on Automatic Demonstration (1968 : Versailles)
 Laudet, M. ed
分 類 LCC:QA3
DC:164
件 名 LCSH:Automatic theorem proving -- Congresses  全ての件名で検索
書誌ID TY00017666
NCID BA06809416