LEADER 01195nam0-22003851i-450-
001 990000495700403321
005 20080715093328.0
010   $a3-540-12044-0$bvol. 2.
035   $a000049570
035   $aFED01000049570
035   $a(Aleph)000049570FED01
035   $a000049570
100   $a20020821d1983----km-y0itay50------ba
101 0 $aeng
102   $aDE
105   $ay-------001yy
200 1 $aAutomation of Reasoning$fedited by Jörg Siekmann and Graham Wrightson
210   $aBerlin; Heidelberg ; New York$cSpringer$d1983
215   $a2 v.$cill.$d25 cm
225 1 $aSymbolic computation
327 0 $aVol. 1.: Classical papers on computational logic 1957-1966$aVol. 2.: Classical papers on computational logic 1967-1970
610 0 $aLogica matematica
676   $a005.131
702  1$aSiekmann,$bJörg
702  1$aWrightson,$bGraham
801  0$aIT$bUNINA$c20050609$gRICA$2UNIMARC
901   $aBK
912   $a990000495700403321
952   $a10 P.T. 158$b1854 CCE$fDINEL
952   $a10 P.T. 159$b1855 CCE$fDINEL
952   $aP.1 IA 52 (2)$fFLFBC
959   $aFLFBC
959   $aDINEL
996   $aAutomation of Reasoning$9333231
997   $aUNINA