LEADER 01602nam2-2200433li-450 
001 990000204170203316
005 20180312154612.0
010   $a3-540-57184-1
035   $a0020417
035   $aUSA010020417
035   $a(ALEPH)000020417USA01
035   $a0020417
100   $a20001109d1993----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aComputational logic and proof theory$ethird Kurt Gödel colloquium KGC'93: Brno, Czech Republic, August 24-27, 1993$eproccedings$fGeorge Gottlob (ed.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1993
215   $aXI, 348 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v713
410  0$10010020264$12001$aLecture notes in computer science
610 1 $acongressi$abrno$a1993
610 1 $aelaboratori elettronici$acongressi$a1993
610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1993
610 1 $alogica matematica$acongressi$a1993
676   $a0051$9Programmazione. Tecnica di sviluppo dei programmi
702  1$aGottlob,$bGeorg
710 12$aKurt Gödel colloquium KGC'93$d3.$eBrno$f1993$0745712
801   $aSistema bibliotecario di Ateneo dell' Universitŕ di Salerno$gRICA
912   $a990000204170203316
951   $a001 LNCS (713)$b0015272$c001$d00102965
959   $aBK
969   $aSCI
979   $c19941007
979   $c20001110$lUSA01$h1714
979   $aALANDI$b90$c20010129$lUSA01$h1648
979   $c20020403$lUSA01$h1628
979   $aPATRY$b90$c20040406$lUSA01$h1615
996   $aComputational logic and proof theory$91487570
997   $aUNISA