02272nam0 22004693i 450 AQ1000716220251003044041.00387581405New York3540581405Berlin20111031d1994 ||||0itac50 baengengdez01i xxxe z01nz01ncRDAcarrierLogical foundations of computer sciencethird international symposium, LFCS '94St. Petersburg, Russia, July 11-14, 1994proceedingsA. Nerode, Yu. V. Matiyasevich (eds.)Berlin [etc.]Springerc1994IX, 392 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis813001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis813702 1Goos, GerhardAQ1V006441340logical foundations of computer scienceRMS3072581AQ1V0037511381971Logica simbolicaCongressi1994FIRNAPC242562IInformaticaCongressi1994FIRNAPC242164I005.1015113Programmazione. Principi matematici. Logica matematica (Logica simbolica)22ConvegniCongressi e convegniConvegniCongressi e convegniScienza degli elaboratoriCongressiConvegniCongressiCongressi e convegniCongressiConvegniCongressiCongressi e convegniInformaticaScienza degli elaboratoriMatiyasevich, Yuri V.UFIV088040340Nerode, Anil <1932- >UFIV097251340International symposium on logical foundations of computer science <3. ; 1994 ; San Pietroburgo>AQ1V003751070714632Matijasevič, Jurij VladimirovičSBNV063651Matiyasevich, Yuri V.ITIT-00000020111031IT-BN0095 AQ10007162Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000023615 VMA FD813 v. 813Y 1996030120111031 01Logical foundations of computer science1381971UNISANNIO