| 000 | 00434pam a2200157a 44500 | ||
|---|---|---|---|
| 008 | 160408b1983 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a001.535 _bB882c |
||
| 100 | _aAlan, Bundy | ||
| 245 | 1 | _aTHE COMPUTER MODELLING OF MATHEMATICAL REASONING | |
| 260 |
_aLondon _bAcademic Press _c1983 |
||
| 300 | _axiv,322 | ||
| 500 | _aBibliography : P. 312-317 | ||
| 650 | _aArtificial Intelligence | ||
| 964 | _gCIRC | ||
| 997 | _aA89468 C | ||
| 999 |
_c286026 _d286026 |
||