LEADER 00855nam0-2200313---450 
001 990000840700403321
005 20190703135505.0
010   $a0121229505
035   $a000084070
035   $aFED01000084070
035   $a(Aleph)000084070FED01
035   $a000084070
100   $a20020821d1979----km-y0itay50------ba
101 0 $aeng
105   $ay-------001yy
200 1 $a<<A >>computational logic$fR. S. Boyer and J S. Moore
210   $aNew York$cAcademic Press$d1979
215   $aXIV, 397 p.$d24 cm
225 1 $aAMC monographs series
676   $a519.4
700  1$aBoyer,$bRobert S.$041253
701  1$aMoore,$bJ Strother$041254
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000840700403321
952   $a02 50 B 13$b3400$fFINBN
959   $aFINBN
996   $aComputational logic$9348082
997   $aUNINA