02019nam0 22003253i 450 AQ1000285620240712062435.00387572724New York3540572724Berlin20090730d1993 ||||0itac50 baengdez01i xxxe z01nDesign and implementation of symbolic computation systemsinternational symposium, DISCO '92Bath, U. K., April 13-15, 1992proceedingsJohn Fitch (ed.) Berlin [etc.]Springer-Verlagc1993214 p.24 cm.Lecture notes in computer scienceedited by G. Goos and J. Hartmanis721001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis721005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Fitch, JohnAQ1V001508International Symposium on Design and Implementation of Symbolic Computation Systems <1992 ; Bath>NAPV111737070714559International Symposium DISCO '92 <1992 ; Bath>NAPV111738International Symposium on Design and Implementation of Symbolic Computation Systems <1992 ; Bath> ITIT-NA007920090730IT-BN0095 AQ10002856Biblioteca 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 0000013025 B (0721 v. 7213 1994090819940908 01Design and implementation of symbolic computation systems1381883UNISANNIO