LEADER 01795nlm0 22005051i 450 
001 990009250300403321
010   $a9783540730866
035   $a000925030
035   $aFED01000925030
035   $a(Aleph)000925030FED01
035   $a000925030
100   $a20100926d2007----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aTowards Mechanized Mathematical Assistants$bRisorsa elettronica$e14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings$fedited by Manuel Kauers, Manfred Kerber, Robert Mi
210   $aBerlin ; Heidelberg$cSpringer$d2007
225 1 $aLecture Notes in Computer Science$x0302-9743$v4573
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aKauers,$bManuel
702  1$aKerber,$bManfred
702  1$aMiner,$bRobert
702  1$aWindsteiger,$bWolfgang
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-73086-6
901   $aEB
912   $a990009250300403321
961   $aArtificial intelligence
961   $aArtificial Intelligence (incl. Robotics)
961   $aComputer Communication Networks
961   $aComputer Communication Networks
961   $aComputer science
961   $aComputer Science
961   $aData mining
961   $aData Mining and Knowledge Discovery
961   $aDatabase management
961   $aDatabase Management
961   $aInformation systems
961   $aInformation Systems Applications (incl.Internet)
961   $aMathematics
961   $aMathematics, general
996   $aTowards Mechanized Mathematical Assistants$9772177
997   $aUNINA

LEADER 01565nam2-22004091i-450-
001 990005411780203316
005 20050117120000.0
035   $a000541178
035   $aUSA01000541178
035   $a(ALEPH)000541178USA01
035   $a000541178
100   $a20050117d2000-------|0itac50------ba
101   $aita
102   $aIT
105   $a|||| |||||
200 1 $a<<Vol. 2>> Associazionismo economico e diffusione dell'economia politica nell'Italia dell'Ottocento$edalle società economico-agrarie alle associazioni di economisti$fa cura diMassimo M. Augello, Marco E. L. Guidi
210   $aMilano$cFranco Angeli$d2000
215   $aVIII, 497 p.$d23 cm
461  1$1001000540162$12001$aAssociazionismo economico e diffusione dell'economia politica nell'Italia dell'Ottocento$v2
606   $aAccademie e istituti culturali$xItalia$xSec. 19.$2FI
606   $aAssociazioni agricole$2FI
620   $dMilano
676   $a338.106045$cAgricoltura. Organizzazioni. Italia$v21
702  1$aAUGELLO,$bMassimo M.
702  1$aGUIDI,$bMarco E. L.
801   $aIT$bSOL$c20120104
912   $a990005411780203316
950   $aDIP.TO SCIENZE ECONOMICHE - (SA)$dDS 300 338.106045 AUG$e9387 DISES
951   $a300 338.106045 AUG$b9387 DISES
959   $aBK
969   $aDISES
979   $c20121027$lUSA01$h1531
979   $c20121027$lUSA01$h1611
979   $aPATRY$b90$c20121114$lUSA01$h1447
996   $aAssociazionismo economico e diffusione dell'economia politica nell'Italia dell'Ottocento$9499742
997   $aUNISA
NUM   $aUSA13248