00967nam0-22003371i-450-9900011053604033210-262-10038-X000110536FED01000110536(Aleph)000110536FED0100011053620000920d1989----km-y0itay50------baengLogic-Based Knowledge RepresentationPeter Jackson, Han Reichgelt, Frank van HarmelenCambridge [Mass.]The MIT Press1989[xvii], 255 p.24 cmMIT Press series in logic programmingLogicaRicorsività160Jackson,Peter26673Harmelen,Frank : vanReichgelt,HanITUNINARICAUNIMARCBK9900011053604033217-27317969FI1FI1Logic-Based Knowledge Representation337559UNINAING01