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