000 | 00662nam a2200253 4500 | ||
---|---|---|---|
001 | 69545 | ||
010 |
_a0-946536-18-X _bencadernado _dEsc 6 450$ |
||
090 | _a69545 | ||
100 | _a19910828d1987 k||y0pory50 ba | ||
101 | 0 | _aeng | |
102 | _aGB | ||
200 | 1 |
_aFormal methods in artificial intelligence _fJ. P. Delahaye _gtrad. J. Howlett |
|
210 |
_aLondon _cNorth Oxford Academic _dcop. 1987 |
||
215 |
_aVII, 205 p. _cil. _d25 cm |
||
606 | _aInteligÂĂȘncia artificial | ||
680 | _aQ335 | ||
700 | 1 |
_aDelahaye _bJ. P. |
|
702 | 1 |
_aHowlett _bJ. |
|
686 | _aCIUL-685 | ||
801 | 0 |
_aPT _gRPC |
|
942 |
_2lcc _cA _n0 |