000 00791nam a22002297a 4500
003 OSt
005 20241022102315.0
008 131022t xxu||||| |||| 00| 0 eng d
020 _a0201565145
040 _aMMSU
_cULS
_dULS
050 _aQA 76 S647 1991 CIRC
100 _aSperschneider, V
_920456
245 _aLogic :
_ba foundation for computer science /
_cV. Sperschneider & G. Antoniou.
260 _aWorkingham, England :
_bAddison-Wesley Publishing,
_c1991.
300 _axii, 495 pages :
_billustration ;
_c24 cm.
504 _aIncludes bibliographical references and index.
650 _aComputer science.
_920457
650 _aArtificial intelligence.
_920458
650 _aLogic, Symbolic and mathematical.
_920459
700 _aAntoniou, G. (Grigorios)
_920460
942 _2lcc
_cBK
999 _c4557
_d4557