LEADER 01712nlm0 22004571i 450 001 990009251730403321 010 $a9783540736813 035 $a000925173 035 $aFED01000925173 035 $a(Aleph)000925173FED01 035 $a000925173 100 $a20100926d2007----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aConceptual Structures: Knowledge Architectures for Smart Applications$bRisorsa elettronica$e15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings$fedited by Uta Priss, Simon Polovin 210 $aBerlin ; Heidelberg$cSpringer$d2007 225 1 $aLecture Notes in Computer Science$x0302-9743$v4604 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aHill,$bRichard 702 1$aPolovina,$bSimon 702 1$aPriss,$bUta 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-73681-3 901 $aEB 912 $a990009251730403321 961 $aAlgorithm Analysis and Problem Complexity 961 $aArtificial intelligence 961 $aArtificial Intelligence (incl. Robotics) 961 $aComputational complexity 961 $aComputer science 961 $aComputer Science 961 $aComputer software 961 $aDiscrete Mathematics in Computer Science 961 $aInformation systems 961 $aInformation Systems Applications (incl.Internet) 961 $aMathematical Logic and Formal Languages 996 $aConceptual Structures: Knowledge Architectures for Smart Applications$9774256 997 $aUNINA