01000nam0-2200349---450-99000099640040332120091130144853.00-7204-0499-1000099640FED01000099640(Aleph)000099640FED0100009964020001205d1978----km-y0itay50------baengNLY-------001yyAutomated theorem provinga logical basisDonald W. LovelandAmsterdam [etc.]North-Holland1978xii, 405 p.ill.23 cmFundamental studies in computer science6CiberneticaTeoria dei giochiTeoria degli automiIntelligenza artificialeLoveland,Donald W.47020ITUNINARICAUNIMARCBK9900009964004033218-128.00510710FI1FI1Automated theorem proving354141UNINA