02301nam0 22003733i 450 AQ1000587520240830062546.00387578870New York3540578870Berlin20090907d1994 ||||0itac50 baengdez01i xxxe z01nTheoretical aspects of computer softwareInternational symposium TACS '94Sendai, Japan, April 19-22, 1994proceedingsMasami Hagiya, John C. Mitchell (eds.)Berlin [etc.]Springerc1994XI, 885 p.24 cm.Lecture notes in computer scienceedited by G. Goos and J. Hartmanis789001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis789Elaboratori elettroniciProgrammazioneCongressi1994FIRNAPC242561ILogica simbolicaCongressi1994FIRNAPC242562ILogica matematicaCongressi1994FIRNAPC242563I005.1015113Programmazione. Principi matematici. Logica matematica (Logica simbolica)22Hagiya, Masami <1957- >AQ1V003117Mitchell, John C.AQ1V003118International symposium TACS <2. ; 1994 ; Sendai>AQ1V003116070714617International symposium on theoretical computer software <2. ; 1994 ; Sendai>AQ1V003119International symposium TACS <2. ; 1994 ; Sendai> ITIT-NA007920090907IT-BN0095 AQ10005875Biblioteca 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 0000027175 B (0789 v. 7893 1996092319960923 01Theoretical aspects of computer software1381950UNISANNIO