00995nam0-22003611i-450-99000101841040332120080728124457.00-444-00365-7000101841FED01000101841(Aleph)000101841FED0100010184120001205d1979----km-y0itay50------baengLogic for Problem SolvingRobert KowalskiNew YorkNorth-Holland©1979287 p.ill.24 cm<<The >>computer science library7CiberneticaTeoria dei giochiTeoria degli automiIntelligenza artificiale510.78Kowalski,Robert48350ITUNINARICAUNIMARCBK9900010184104033218-19212790FI110 P.T. 409618 DISDINELFI1DINELLogic for Problem Solving355594UNINA