LEADER 00934nam0-22003371i-450 
001 990001061430403321
005 20240318132338.0
010   $a3-540-12044-0
035   $a000106143
035   $aFED01000106143
035   $a(Aleph)000106143FED01
035   $a000106143
100   $a20000920d1983----km-y0itay50------ba
101 0 $aeng
200 1 $aAutomation of Reasoning$fEdited by Jorg Siekmann and Graham Wrightson
210   $aBerlin [etc.]$cSpringer-Verlag$d1983
610 0 $aCibernetica
610 0 $aTeoria dei giochi
610 0 $aTeoria degli automi
610 0 $aIntelligenza artificiale
676   $a510.78
700  1$aSiekmann,$bJörg$0347289
702  1$aWrightson,$bGraham
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001061430403321
952   $a163 SIEJ 01$b12306$fFI1
959   $aFI1
996   $aAutomation of Reasoning$9340181
997   $aUNINA
DB    $aING01