| 000 | 00724cam a2200217 i 4500 | ||
|---|---|---|---|
| 005 | 20250930201016.0 | ||
| 008 | 150123s2015 mau b 001 0 eng | ||
| 020 | _a9780262527958 (pbk.) | ||
| 040 | _cKrea | ||
| 082 | 0 | 0 | _a511.36028563 FRI |
| 100 | 1 | _aFriedman, Daniel P. | |
| 245 | 1 | 4 |
_aLittle prover / _cDaniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More. |
| 246 | _aThe little prover / | ||
| 260 |
_aLondon, England ; _bMIT Press, _c2015. |
||
| 300 |
_axiii, 229 pages ; _c23 cm. |
||
| 650 | 0 | _aAutomatic theorem proving. | |
| 650 | 0 | _aLISP (Computer program language) | |
| 700 | 1 | _aEastlund, Carl. | |
| 942 |
_2ddc _cBK |
||
| 999 |
_c123371 _d123371 |
||