01972nam0 22003493i 450 AQ1001362620250110062449.00387556311New York3540556311Berlin20110927d1992 ||||0itac50 baengdez01i xxxe z01nConstructivity in computer scienceSummer symposiumSan Antonio, TX, June 19-22, 1991proceedingsJ. P. Myers, Jr., M. J. O'Donnell (eds.)Berlin [etc.]Springer1992X, 246 p.25 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis613001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis613702 1Goos, GerhardAQ1V006441340Elaboratori elettroniciLinguaggiCongressi1991FIRNAPC257782I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Myers, J. Paul <jr.>AQ1V007400340O'Donnell, MichaelAQ1V007401340Summer symposium on constructivity in computer science <1991 ; San Antonio>NAPV119025070714714ITIT-NA007920110927IT-BN0095 AQ10013626Biblioteca 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 0000012455 B FD613 v. 6133 1994070620110927 01Constructivity in computer science1382057UNISANNIO