01913nam0 22003373i 450 AQ1001354320240830062552.00387557075New York3540557075Berlin20111031d1992 ||||0itac50 baengdez01i xxxe z01nLogical foundations of computer science - Tver '92second international symposiumTver, Russia, July 20-24, 1992proceedingsA. Nerode, M. Taitslin (eds.)Berlin [etc.]Springerc1992IX, 514 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis620001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis620Elaborazione elettronicaCongressi1992FIRNAPC258158I004ELABORAZIONE DEI DATI, SCIENZA DEGLI ELABORATORI, INFORMATICA22Taitslin, Mikhail A. <1936- >AQ1V007358Nerode, Anil <1932- >UFIV097251International Symposium on Logical foundations of computer science <2. ; 1992 ; Tver>NAPV119476070714710ITIT-NA007920111031IT-BN0095 AQ10013543Biblioteca 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 0000012335 N FD620 v. 6203 1994070620111031 01Logical foundations of computer science - Tver '921382053UNISANNIO