| 000 | 00656cam a2200205 4500 | ||
|---|---|---|---|
| 999 |
_c7222 _d7222 |
||
| 008 | 701027s1970 gw b 100 0 eng | ||
| 080 |
_a51 _bLNM |
||
| 100 | _aLaudet. M and Lacombe. D | ||
| 245 | 1 | 0 |
_aSymposium on Automatic Demonstration; _cedited by M. Laudet [and others] |
| 260 |
_aBerlin, _aNew York, _bSpringer-Verlag, _c1970. |
||
| 300 | _a310 p. | ||
| 490 | 1 |
_aLecture notes in mathematics _v125 |
|
| 500 | _aEnglish or French. | ||
| 504 | _aIncludes bibliographies. | ||
| 650 | 0 | _aAutomatic theorem proving | |
| 690 | _aMathematics | ||
| 700 | 1 | _aLaudet, M., | |
| 830 | 0 |
_aLecture notes in mathematics (Springer-Verlag) ; _v125. |
|
| 942 | _cBK | ||