LEADER 02248nlm0 22006011i 450 001 990009257150403321 010 $a9783540875314 035 $a000925715 035 $aFED01000925715 035 $a(Aleph)000925715FED01 035 $a000925715 100 $a20100926d2008----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aComputer Science Logic$bRisorsa elettronica$e22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings$fedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Kaminski, Simone Martini 210 $aBerlin ; Heidelberg$cSpringer$d2008 225 1 $aLecture Notes in Computer Science$x0302-9743$v5213 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aHutchison,$bDavid 702 1$aKaminski,$bMichael 702 1$aKanade,$bTakeo 702 1$aKittler,$bJosef 702 1$aKleinberg,$bJon M. 702 1$aMartini,$bSimone 702 1$aMattern,$bFriedemann 702 1$aMitchell,$bJohn C. 702 1$aNaor,$bMoni 702 1$aNierstrasz,$bOscar 702 1$aPandu Rangan,$bC. 702 1$aSteffen,$bBernhard 702 1$aSudan,$bMadhu 702 1$aTerzopoulos,$bDemetri 702 1$aTygar,$bDoug 702 1$aVardi,$bMoshe Y. 702 1$aWeikum,$bGerhard 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-87531-4 901 $aEB 912 $a990009257150403321 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 00886nam0-22002771i-450- 001 990003432680403321 005 20080717113308.0 035 $a000343268 035 $aFED01000343268 035 $a(Aleph)000343268FED01 035 $a000343268 100 $a20030910d1931----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aCorso di lezioni di storia delle dottrine dello stato politiche ed economiche$eanno accademico 1930-31$fCarlo Costamagna 210 $aPadova$cCedam$d1931 700 1$aCostamagna,$bCarlo$f<1881- >$0138096 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003432680403321 952 $aSE 073.01.35-$bB23336$fDECSE 952 $aSE 043.09.019-$b21608$fDECSE 959 $aDECSE 996 $aCorso di lezioni di storia delle dottrine dello stato politiche ed economiche$9444052 997 $aUNINA