---

＜図書＞
Symposium on Automatic Demonstration / edited by M. Laudet {and others}
(Lecture notes in mathematics ; 125)

出版者	Berlin : Springer
出版年	1970
大きさ	310 p. 26 cm.
著者標目	Symposium on Automatic Demonstration (1968 : Versailles) Laudet, M.
件　名	Automatic theorem proving -- Congresses  全ての件名で検索
一般注記	English or French. ＼ Includes bibliographies.

 類似資料