LEADER 01516nlm0 22004211i 450 
001 990009242080403321
010   $a9783540749158
035   $a000924208
035   $aFED01000924208
035   $a(Aleph)000924208FED01
035   $a000924208
100   $a20100926d2007----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aComputer Science Logic$bRisorsa elettronica$e21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings$fedited by Jacques Duparc, Thomas A. Henzinger
210   $aBerlin ; Heidelberg$cSpringer$d2007
225 1 $aLecture Notes in Computer Science$x0302-9743$v4646
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aDuparc,$bJacques
702  1$aHenzinger,$bThomas A.
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-74915-8
901   $aEB
912   $a990009242080403321
961   $aArtificial intelligence
961   $aArtificial Intelligence (incl. Robotics)
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogic, Symbolic and mathematical
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aMathematical Logic and Foundations
996   $aComputer Science Logic$9771972
997   $aUNINA

LEADER 01614nam2-2200421li-450 
001 990000200590203316
005 20180312154610.0
010   $a3-540-60598-3
035   $a0020059
035   $aUSA010020059
035   $a(ALEPH)000020059USA01
035   $a0020059
100   $a20001109d1995----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aCase-based reasoning research and development$efirst International conference, ICCBR-95$eSesimbra, Portugal, October 23-26, 1995$eproceedings$fManuela Veloso ... [et al.] (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1995
215   $aX, 576 p.$cill.$d25 cm
225 2 $aLecture notes in artificial intelligence$v1010
300   $aserie principale: lecture notes incomputer science.
410  0$10010019992$12001$aLecture notes in artificial intelligence
610 1 $acongressi$asesimbra$a1995
610 1 $aintelligenza artificiale$acongressi$a1995
676   $a0063$9Intelligenza artificiale [precedent. 001.535]
702  1$aVeloso,$bManuela M.
710 12$aInternational conference ICCBR'95$d1.$eSesimbra$f1995$0745576
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000200590203316
951   $a006.3 LNCS (1010)$b0020331$c006.3$d00106668
959   $aBK
969   $aSCI
979   $c19990205
979   $c20001110$lUSA01$h1713
979   $aALANDI$b90$c20010329$lUSA01$h1312
979   $c20020403$lUSA01$h1627
979   $aPATRY$b90$c20040406$lUSA01$h1614
996   $aCase-based reasoning research and development$91487144
997   $aUNISA