LEADER 00959nam0-22003251i-450-
001 990001022400403321
010   $a3-540-10231-0
035   $a000102240
035   $aFED01000102240
035   $a(Aleph)000102240FED01
035   $a000102240
100   $a20000920d1980----km-y0itay50------ba
101 0 $aeng
200 1 $aUsing Sophisticated Models in Resolution Theorem Proving$fDavid M. Sandford
210   $aBerlin [etc.]$cSpringer-Verlag$d1980
225 1 $aLecture notes in computer science$v90
610 0 $aCibernetica
610 0 $aTeoria dei giochi
610 0 $aTeoria degli automi
610 0 $aIntelligenza artificiale
676   $a510.78
700  1$aSandford,$bDavid M.$048555
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001022400403321
952   $a8-190$b12633$fFI1
959   $aFI1
996   $aUsing Sophisticated Models in Resolution Theorem Proving$9339676
997   $aUNINA
DB    $aING01