LEADER 01439nam2-2200421li-450 001 990000197160203316 005 20180312154722.0 010 $a88-7021-292-0 035 $a0019716 035 $aUSA010019716 035 $a(ALEPH)000019716USA01 035 $a0019716 100 $a20001109d1986----km-y0itay0103----ba 101 0 $aita 102 $aIT 200 1 $a<> automazione del ragionamento matematico$edalla dimostrazione dei teoremi alla formazione dei concetti$fAlan Bundy 205 $aed. italiana a cura di Mauro Boscarol 210 $aPadova$cFranco Muzzio$d1986 215 $aXX, 425 p.$cill.$d21 cm 225 2 $aintelligenza artificiale e robotica$v4 410 0$10010019714$12001$aintelligenza artificiale e robotica$vIAR 610 1 $alogica matematica 676 $a005131$9Logica matematica (Logica simbolica) 700 1$aBundy,$bAlan$045435 702 1$aBoscarol,$bMauro 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000197160203316 951 $a005.131 BUN$b0014797$c005.131$d00102514 959 $aBK 969 $aSCI 979 $c19930422 979 $c20001110$lUSA01$h1713 979 $aALANDI$b90$c20010320$lUSA01$h1511 979 $c20020403$lUSA01$h1627 979 $aPATRY$b90$c20040406$lUSA01$h1614 979 $aPATRY$b90$c20060623$lUSA01$h1559 996 $aAutomazione del ragionamento matematico$945818 997 $aUNISA LEADER 01144nam--2200397---450- 001 990003508750203316 005 20110304105359.0 010 $a88-317-4906-4 035 $a000350875 035 $aUSA01000350875 035 $a(ALEPH)000350875USA01 035 $a000350875 100 $a20110304d1986----km-y0enga50------ba 101 $aita 101 $alat 102 $aIT 105 $a||||||||001yy 200 1 $aProcesso a una cortigiana$econtro Neera$fDemostene$ga cura di Elisa Avezzù$g[traduzione dal greco e commento di Elisa Avezzù] 210 $aVenezia$cMarsilio$d1986 215 $a172 p.$d19 cm 225 2 $a<> convivio 300 $aCon testo greco a fronte 410 0$12001$12001$a<> convivio 510 11$aKata Neairas 676 $a885 700 0$aDEMOSTHENES$0167473 702 1$aAVEZZÙ,$bElisa 801 0$aIT$bsalbc$gISBD 912 $a990003508750203316 951 $aDSSP SANT 885 DEM$bDSSP 959 $aBK 969 $aDSSP 979 $aDSSP1$b90$c20110304$lUSA01$h1052 979 $aDSSP1$b90$c20110304$lUSA01$h1053 996 $aProcesso a una cortigiana$9287588 997 $aUNISA