LEADER 01583nam2-2200421li-450 001 990003140520203316 005 20180918160659.0 010 $a978-3-540-69936-1 035 $a000314052 035 $aUSA01000314052 035 $a(ALEPH)000314052USA01 035 $a000314052 100 $a2002008092008-------y0itay0103----ba 101 0 $aeng 102 $aDE 200 1 $aLogic, language information and computation$e15th International workshop, WoLLIC 2008$eEdinburgh, UK, July 1-4, 2008$eproceedings$fWilfrid Hodges, Ruy de Queiroz (Eds.) 210 $aBerlin$cSpringer [etc.]$dcopyr. 2008 215 $aVIII, 312 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v5110 410 0$12001$aLecture notes in computer science 461 1$1001000314960$12001$aLecture notes in computer science 606 0 $aElaborazione elettronica$xCongressi$yEdinburgh$z2008 606 0 $aLinguaggi di programmazione$xCongressi$yEdinburgh$z2008 606 0 $aLogica matematica$xCongressi$yEdinburgh$z2008 676 $a005.131 702 1$aHODGES,$bWilfrid 702 1$aDE QUEIROZ,$bRuy 710 12$aInternational workshop, WoLLIC 2008$d<15.;$f2008;$eRio de Janeiro>$0751912 801 0$aITA$bsalbc$gISBD 912 $a990003140520203316 951 $a006.3 LNAI 5110$b37227/CBS$c001$d00217559 959 $aBK 969 $aSCI 979 $aCBAS$b10$c20080905$lUSA01$h1322 979 $aANGELA$b90$c20080929$lUSA01$h1429 979 $aANGELA$b90$c20081127$lUSA01$h1248 996 $aLogic, language information and computation$91511566 997 $aUNISA LEADER 00990nam0 22002651i 450 001 RML0239256 005 20231121125706.0 100 $a20121121d1997 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aGeneral Engineering Knowledge$fH.[David] Mc George 205 $aThird edition$breprinted 210 $aOxford $cButterworth-Heinemann $d1997 215 $avii, 157 p.$cill., fig.$d22 cm 700 1$aMC GEORGE$b, H. David$3RMLV152915$01443444 801 3$aIT$bIT-01$c20121121 850 $aIT-FR0098 899 $aBiblioteca Area Giuridico Economica$bFR0098 912 $aRML0239256 950 0$aBiblioteca Area Giuridico Economica$d 53IMP 28 178$e 53VM 0000082045 VMB A4 barcode:ECO003672. - Inventario:3771. - Fondo:Sala consultazioneVM$fB $h19970211$i20121204 977 $a 53 996 $aGeneral Engineering Knowledge$93620565 997 $aUNICAS