LEADER 02272nam0 22004693i 450 
001 AQ10007162
005 20251003044041.0
010   $a0387581405$bNew York
010   $a3540581405$bBerlin
100   $a20111031d1994    ||||0itac50      ba
101 | $aeng$ceng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
183  1$6z01$anc$2RDAcarrier
200 1 $aLogical foundations of computer science$ethird international symposium, LFCS '94$eSt. Petersburg, Russia, July 11-14, 1994$eproceedings$fA. Nerode, Yu. V. Matiyasevich (eds.)
210   $aBerlin [etc.]$cSpringer$dc1994
215   $aIX, 392 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v813
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v813$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
500 10$alogical foundations of computer science$3RMS3072581$9AQ1V003751$91381971
606   $aLogica simbolica$xCongressi$x1994$2FIR$3NAPC242562$9I
606   $aInformatica$xCongressi$x1994$2FIR$3NAPC242164$9I
676   $a005.1015113$9Programmazione. Principi matematici. Logica matematica (Logica simbolica)$v22
696   $aConvegni$aCongressi e convegni
696   $aConvegni$aCongressi e convegni$aScienza degli elaboratori
699   $aCongressi$yConvegni
699   $aCongressi$yCongressi e convegni
699   $aCongressi$yConvegni
699   $aCongressi$yCongressi e convegni
699   $aInformatica$yScienza degli elaboratori
702  1$aMatiyasevich$b, Yuri V.$3UFIV088040$4340
702  1$aNerode$b, Anil$f <1932-    >$3UFIV097251$4340
710 12$aInternational symposium on logical foundations of computer science$d <3.$f ; 1994$e ; San Pietroburgo>$3AQ1V003751$4070$0714632
790  1$aMatijasevi?$b, Jurij Vladimirovi?$3SBNV063651$zMatiyasevich, Yuri V.
801  3$aIT$bIT-000000$c20111031
850   $aIT-BN0095          
912   $aAQ10007162
950  0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000023615  VMA FD813                 v. 813$fY $h19960301$i20111031
977   $a 01
996   $aLogical foundations of computer science$91381971
997   $aUNISANNIO