| 出版情報 |
Berlin : Springer-Verlag , 1970 |
| 大きさ |
310 p. ; 26 cm |
| 一般注記 |
English or French
Includes bibliographies |
| 著者標目 |
*Symposium on Automatic Demonstration (1968 : Versailles)
Laudet, M. ed
|
| 件 名 |
LCSH:Automatic theorem proving -- Congresses
全ての件名で検索
|
| 分 類 |
LCC:QA3
DC:164
|
| 本文言語 |
英語 |
| 書誌ID |
TB10053005 |
| NCID |
BA06809416
|
