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 01236nam--2200373---450-
001 990002368730203316
005 20090714161818.0
010   $a88-14-10606-1
035   $a000236873
035   $aUSA01000236873
035   $a(ALEPH)000236873USA01
035   $a000236873
100   $a20050119d2003----km-y0itay0103----ba
101 0 $aita
102   $aIT
105   $a||||||||001yy
200 1 $a<<La>> comunione legale$eproblematiche e questioni a venticinque anni dalla riforma$eatti del convegno$eCagliari, 19 e 20 gennaio 2001
210   $aMilano$cGiuffrè$d2003
215   $aXIV, 194 p.$d24 cm
300   $aIn testa al front.: Comitato dei collegi notarili della Sardegna
606 0 $aComunione legale
676   $a346.45042
712 02$aComitato dei collegi notarili della Sardegna
801  0$aIT$bsalbc$gISBD
912   $a990002368730203316
951   $aXXV.1.F 126 (IG I 2033)$b40051 G.$cXXV.1.F 126 (IG I)$d00132862
959   $aBK
969   $aGIU
979   $aANNASEN$b90$c20050119$lUSA01$h1145
979   $aANNASEN$b90$c20050119$lUSA01$h1146
979   $aANNASEN$b90$c20050119$lUSA01$h1208
979   $aRSIAV1$b90$c20090714$lUSA01$h1618
996   $aComunione legale$962440
997   $aUNISA