LEADER 01074nam--2200361---450-
001 990000345220203316
035   $a0034522
035   $aUSA010034522
035   $a(ALEPH)000034522USA01
035   $a0034522
100   $a20010226d1979----km-y0itay0103----ba
101   $aeng
102   $aUSA
105   $a||||||||001yy
200 1 $a<<A>> computational logic$fby Robert S. Boyer and Strother Moore
210   $aNew York$cAcademic Press$dc1979
215   $aXIV, 397 p.$d23 cm
225 2 $aACM Monograph Series
410  1$12001$aACM Monograph Series
610 0 $aElaboratori elettronici$xMetodi matematici
676   $a519.4
700  1$aBOYER,$bRobert S.$041253
801  0$aIT$bsalbc$gISBD
912   $a990000345220203316
951   $a001 ACM (1)$b4976 SM$c001 ACM$d00100715
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010226$lUSA01$h1205
979   $aPATTY$b90$c20010226$lUSA01$h1207
979   $c20020403$lUSA01$h1642
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aComputational logic$9878785
997   $aUNISA