| 000 | 00573 a2200181 4500 | ||
|---|---|---|---|
| 008 | 090320t xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9 780521 352369 | ||
| 082 | _a004.383 8 RAM | ||
| 100 |
_aRamsay, Allan _97242 |
||
| 245 |
_aFormal methods in artificial intelligence/ _cAllan Ramsay |
||
| 260 |
_aCambridge _bCambridge University press _c1988 |
||
| 300 | _aix, 279p. | ||
| 650 |
_aArtificial intelligence - Methodology. _93604 |
||
| 650 |
_aLogic, symbolic and mathematical. _93605 |
||
| 650 |
_aReasoning. _93606 |
||
| 700 |
_aRamsay, Allan _93602 |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c186988 _d186988 |
||