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 01040nam a22002651i 4500
001 991003046439707536
005 20030827103627.0
008 030925s1981    fi |||||||||||||||||ger  
020   $a9516420001
035   $ab12372821-39ule_inst
035   $aARCHE-042035$9ExL
040   $aBiblioteca Interfacoltà$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.
082 04$a340
100 1 $aKlami, Hannu Tapani$0171710
245 10$aConfessiones methodologicae :$bprobleme rechtshistorischer argumentation /$cvon Hannu Tapani Klami
260   $aTurku :$b[s.n.],$c1981
300   $a72 p. ;$c25 cm
440  0$aTurun yliopiston julkaisuja = Annales universitatis turkuensis.$nSeries B ;$v154
650  4$aDiritto
907   $a.b12372821$b02-04-14$c08-10-03
912   $a991003046439707536
945   $aLE002 D Ann. 379/154$g1$i2002000146625$lle002$o-$pE0.00$q-$rl$so  $t0$u0$v0$w0$x0$y.i12777900$z08-10-03
996   $aConfessiones methodologicae$9170054
997   $aUNISALENTO
998   $ale002$b08-10-03$cm$da  $e-$fger$gfi $h0$i1