| 000 | 00549nam a2200181 4500 | ||
|---|---|---|---|
| 020 |
_a094653618x _cTZS 21000/= |
||
| 040 |
_aMUL _beng _eAACR |
||
| 082 | _a006.3 DEL | ||
| 100 | _aDelahaye, J. -P. | ||
| 245 |
_aFormal methods in artificial intelligence _cJ. -P. Delahaye, Translated by J. Howlett and Foreword by Maurice Nivat |
||
| 260 |
_aLondon : _bNorth Oxford Academic, _c1987 |
||
| 300 |
_avii, 205p. : _bill. ; _c24 cm |
||
| 500 | _aIncludes index | ||
| 650 | _aAlgorithm | ||
| 700 | _aHowlett, J. | ||
| 700 | _aNivat, Maurice | ||
| 942 | _cBK | ||
| 999 |
_c6959 _d6959 |
||