01047nam0-22003491i-450-99000148549040332120090806124813.00-262-12232-4000148549FED01000148549(Aleph)000148549FED0100014854920010730d2000----km-y0itay50------baengUS----a---001yy<<The >>logic of knowledge basesHector J. Levesque, Gerhard LakemeyerCambridge (Mass.)The MIT Pressc2000xviii, 282 p.24 cmIntelligenza artificialeLogica, simbolica e matematicaRappresentazione della conoscenzaSistemi esperti006.332Levesque,Hector Joseph<1951- >51203Lakemeyer,Gerhard65946ITUNINARICAUNIMARCBK990001485490403321006.332-LEV-11062SC1SC1Logic of knowledge bases378232UNINA