000 00466nam a22001697a 4500
003 NUST - PNEC
005 20170116181011.0
008 150913b xxu||||| |||| 00| 0 eng d
020 _a094653618X
040 _cLIBRARY
082 _a006.3 DEL
100 _910214
_aDelahaye, J. P.
245 _aFormal methods in artificial intelligence
_cJ. P. Delahaye
260 _cc.1987
650 _910218
_aArtificial intelligence--Data processing
_xMIS
942 _2ddc
_cBK
999 _c67113
_d67113