01195nam0-22003851i-450-99000049570040332120080715093328.03-540-12044-0vol. 2.000049570FED01000049570(Aleph)000049570FED0100004957020020821d1983----km-y0itay50------baengDEy-------001yyAutomation of Reasoningedited by Jörg Siekmann and Graham WrightsonBerlin; Heidelberg ; New YorkSpringer19832 v.ill.25 cmSymbolic computationVol. 1.: Classical papers on computational logic 1957-1966Vol. 2.: Classical papers on computational logic 1967-1970Logica matematica005.131Siekmann,JörgWrightson,GrahamITUNINA20050609RICAUNIMARCBK99000049570040332110 P.T. 1581854 CCEDINEL10 P.T. 1591855 CCEDINELP.1 IA 52 (2)FLFBCFLFBCDINELAutomation of Reasoning333231UNINA