02080nam0 22003613i 450 AQ1000716220240830062547.00387581405New York3540581405Berlin20111031d1994 ||||0itac50 baengdez01i xxxe z01nLogical 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. Hartmanis813Logica simbolicaCongressi1994FIRNAPC242562IInformaticaCongressi1994FIRNAPC242164I005.1015113Programmazione. Principi matematici. Logica matematica (Logica simbolica)22Matiyasevich, Yuri V.UFIV088040Nerode, Anil <1932- >UFIV097251International symposium on logical foundations of computer science <3. ; 1994 ; San Pietroburgo>AQ1V003751070714632Matijasevič, Jurij VladimirovičSBNV063651Matiyasevich, Yuri V.ITIT-NA007920111031IT-BN0095 AQ10007162Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000023615 B FD813 v. 8133 1996030120111031 01Logical foundations of computer science1381971UNISANNIO