LEADER 01000nam0-2200349---450-
001 990000996400403321
005 20091130144853.0
010   $a0-7204-0499-1
035   $a000099640
035   $aFED01000099640
035   $a(Aleph)000099640FED01
035   $a000099640
100   $a20001205d1978----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aY-------001yy
200 1 $aAutomated theorem proving$ea logical basis$fDonald W. Loveland
210   $aAmsterdam [etc.]$cNorth-Holland$d1978
215   $axii, 405 p.$cill.$d23 cm
225 1 $aFundamental studies in computer science$v6
610 0 $aCibernetica
610 0 $aTeoria dei giochi
610 0 $aTeoria degli automi
610 0 $aIntelligenza artificiale
700  1$aLoveland,$bDonald W.$047020
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000996400403321
952   $a8-128.005$b10710$fFI1
959   $aFI1
996   $aAutomated theorem proving$9354141
997   $aUNINA