LEADER 01086nam0-2200349-i-450-
001 990009911360403321
005 20141028121322.0
010   $a88-7021-292-0$bpaperback
035   $a000991136
035   $aFED01000991136
035   $a(Aleph)000991136FED01
035   $a000991136
100   $a20141028d1986----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $aa---a---001yy
200 1 $a<<L'>>automazione del ragionamento matematico$edalla dimostrazione dei teoremi alla formazione dei concetti$fAlan Bundy$gedizione italiana a cura di Mauro Boscarol
210   $aPadova$cFranco Muzzio editore$d1986
215   $aXX, 425 p.$d21 cm
225 1 $aIAR Intelligenza artificiale e robotica$v4
610 0 $aIntelligenza artificiale
676   $a006.3
700  1$aBundy,$bAlan$045435
702  1$aBoscarol,$bMauro
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990009911360403321
952   $a16-B-2$b14975$fMA1
959   $aMA1
962   $a68TXX
996   $aAutomazione del ragionamento matematico$945818
997   $aUNINA