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<>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 LEADER 01299nam0 22003131i 450 001 UON00018649 005 20231205102007.267 100 $a20020107g13551976 |0itac50 ba 101 $aper 102 $aIR 105 $a|||| 1|||| 200 1 $aAVESTA$ename-ye minovi-e a'in-e Zartost$fnegares-e Jalil Dustxah$gaz gozares-e Ebrahim Pur Davud 210 $aTehran$cMorvarid$d1355 H. [1976] 12$d389 p. ; 25 cm 517 1$3UON00352163$aAVESTA 606 $aZOROASTRISMO$xTESTI AVESTICI$3UONC000949$2FI 606 $aLINGUA AVESTICA$xTESTI$3UONC004802$2FI 620 $aIR$dTihra?n$3UONL005570 686 $aIR III AV$cIRAN ANTICO - FILOLOGIA - AVESTICO$2A 702 1$aDUSTXAH$bJalil$3UONV013165 702 1$aPUR DAVUD$bEbrahim$3UONV012009 712 $aMorvarid$3UONV247944$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00018649 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI IR III AV 017 $eSI SA 33720 5 017 966 $aLINGUE IRANICHE - ANTICOIRANICO$yLINGUA AVESTICA - TESTI$3UONC005444 966 $aMANOSCRITTI AVESTICI - CATALOGHI$yLINGUA AVESTICA - TESTI$3UONC006305 996 $aAvesta$960449 997 $aUNIOR