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