02476nam0 22005053i 450 AQ1000587520251003044041.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. Hartmanis789702 1Goos, GerhardAQ1V006441340ELABORATORI ELETTRONICIProgrammazioneCongressi1994FIRNAPC096490ILogica simbolicaCongressi1994FIRNAPC242562ILogica matematicaCongressi1994FIRNAPC242563I005.1015113Programmazione. Principi matematici. Logica matematica (Logica simbolica)22ConvegniCongressi e convegniConvegniCongressi e convegniConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>CongressiConvegniCongressiCongressi e convegniCongressiConvegniCongressiCongressi e convegniCongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Hagiya, 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-00000020090907IT-BN0095 AQ10005875Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000027175 VMA (0789 v. 789Y 1996092319960923 01Theoretical aspects of computer software1381950UNISANNIO