| 000 | 01074n a2200313#a 4500 | ||
|---|---|---|---|
| 001 | 7264 | ||
| 005 | 20240404163348.0 | ||
| 008 | 870203s1986 vau b 000 0 eng | ||
| 010 | _a87109096 | ||
| 035 | _aocm16351308 | ||
| 035 | _aRecord 14024 | ||
| 040 |
_aDLC _cDLC |
||
| 043 | _ae-ur--- | ||
| 049 | _aP5AA | ||
| 082 | 0 | 0 |
_a511.3 _bL722m |
| 090 | _alf2 | ||
| 100 | 1 |
_aLifschitz, Vladimir. _942650 |
|
| 245 | 1 | 0 |
_aMechanical theorem proving in the USSR: _bthe Leningrad school/ _cVladimir Lifschitz. |
| 260 |
_aFalls Church, Va. (7700 Leesburg Pike, #250, Falls Church 22043): _bDelphic Associates, _cc1986. |
||
| 300 |
_axii, 103 leaves; _c29 cm. |
||
| 504 | _aBibliography: leaves 98-103. | ||
| 650 | 0 | 0 |
_aAutomatic theorem proving. _937149 |
| 650 | 0 | 4 |
_aElectronic digital computers _zSoviet Union. _929627 |
| 697 |
_aLógica e Fundamentos 02- _xLógica Matemática e Funções Recursivas. _923728 |
||
| 942 |
_2impa _cBK |
||
| 999 |
_c8286 _d8286 |
||
| 490 | 0 |
_aMonograph series on Soviet Union. _940319 |
|
| 490 | 0 |
_aDelphic emigre series. _941149 |
|