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 |