000 00709nam a2200229Ia 4500
008 191130s2000##################000#0#eng##
020 _a9780792372240
022 _a52177
040 _aACL
_cACL
082 _a006.3 MIN
245 _aLogic-based artificial intelligence
_cedited by Jack Minker
260 _aDordrecht ; Boston
_bKluwer Academic Publishers
_cc2000
300 _axxiii, 606 p. ; ill. ; 24 cm
500 _aIncludes bibliographical references and index
650 _aArtificial Intelligence
650 _aComputer logic
650 _aLogic, Symbolic and mathematical
700 _aMinker, Jack
990 _aa2e9de12ac10000c3ca56b24e8f7aea4
991 _a106457
999 _c234985
_d234985