LEADER 00932nam0-22003251i-450- 001 990001109110403321 010 $a0-12-122952-1 035 $a000110911 035 $aFED01000110911 035 $a(Aleph)000110911FED01 035 $a000110911 100 $a--------d--------km-y0itay50------ba 101 0 $aeng 200 1 $a<>Computational Logic Handbook$fRobert S. Boyer and J. Strother Moore 210 $aBoston [etc.]$cAcademic Press$d1988 225 1 $aPerspectives in Computing$v23 610 0 $aCibernetica 610 0 $aTeoria dei giochi 610 0 $aTeoria degli automi 610 0 $aIntelligenza artificiale 676 $a510.78 700 1$aBoyer,$bRobert S.$041253 702 1$aMoore,$bJ. Strother 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001109110403321 952 $a8-274$b18438$fFI1 959 $aFI1 996 $aComputational Logic Handbook$9337796 997 $aUNINA