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