02381nam0 22003853i 450 AQ1000804920240712062441.00387584021New York3540584021Berlin20111212d1994 ||||0itac50 baengdez01i xxxe z01nProgramming language implementation and logic programming6. international symposium, PLILP '94Madrid, Spain, September 14-16proceedingsManuel Hermenegildo, Jaan Penjam (eds.)Berlin [etc.]Springerc1994XII, 468 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis844Nella pref.: International symposium on programming language implementation and logic programming001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis844Elaboratori elettroniciLinguaggiCongressi1994FIRNAPC257757IProgrammazione logicaCongressi1994FIRNAPC259308I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Penjam, Jaan <1955- >AQ1V004191Hermenegildo, ManuelAQ1V004347International symposium on programming language implementation and logic programming <6. ; 1994 ; Madrid>AQ1V004346070714658PLIP <6. ; 1994 ; Madrid>TO0V163583International symposium on programming language implementation and logic programming <6. ; 1994 ; Madrid>ITIT-NA007920111212IT-BN0095 AQ10008049Biblioteca 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 0000022615 B A4844 v. 8443 1996021920111212 01Programming language implementation and logic programming1381999UNISANNIO