00925nam0-2200313---450-99000885916040332120091203142005.00-521-81802-8000885916FED01000885916(Aleph)000885916FED0100088591620090527d2003----km-y0itay50------baengGBy-------001yyKnowledge representation, reasoning and declarative problem solvingChitta BaralCambridgeCambridge University press©2003XIV, 530 p.25 cmIntelligenza artificiale006.33Baral,Chitta315148ITUNINARICAUNIMARCBK990008859160403321006.3-BAR-15613SC1SC1Knowledge representation, reasoning and declarative problem solving804358UNINA