LEADER 01475nam2-2200397li-450 
001 990003022350203316
005 20180918155408.0
010   $a978-3-540-73443-7
035   $a000302235
035   $aUSA01000302235
035   $a(ALEPH)000302235USA01
035   $a000302235
100   $a2002007112007-------y0itay0103----ba
101 0 $aeng0.0
102   $aDE
200 1 $aLogic, language information and computation$e14th. International workshop, WoLLIC 2007$eRio de Janeiro, Brazil, July 2-5, 2007$eproceeding$fDaniel Leivant, Ruy de Queiroz (eds.)
210   $aBerlin$cSpringer$dcopyr. 2007
215   $aX, 361 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4576
410  0$12001$aLecture notes in computer science$v4576
606 0 $aelaborazione elettronica
606 0 $alinguaggi di programmazione
606 0 $alogica matematica
676   $a005.131$9Logica matematica (Logica simbolica)
702  1$aLEIVANT,$bDaniel
702  1$aDE QUEIROZ,$bRuy
710 12$aInternational workshop, WoLLIV 2007$d<14;$f2007;$eRio de Janeiro>$0751903
801  0$aSistema bibliotecario di Ateneo dell' Università di Salerno$gRI-CA
912   $a990003022350203316
951   $a001 LNCS 4576$b35139 CBS$c001$d00224761
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20071126$lUSA01$h1826
979   $aANGELA$b90$c20071126$lUSA01$h1829
996   $aLogic, language information and computation$91511557
997   $aUNISA