02387nam0 22004693i 450 AQ1000804920251003044041.00387584021New York3540584021Berlin20111212d1994 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierProgramming 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. Hartmanis844702 1Goos, GerhardAQ1V006441340Elaboratori elettroniciLinguaggiCongressi1994FIRNAPC257757IProgrammazione logicaCongressi1994FIRNAPC259308I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22ConvegniCongressi e convegniConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniCongressiConvegniCongressiCongressi e convegniPenjam, 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-00000020111212IT-BN0095 AQ10008049Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000022615 VMA A4844 v. 844Y 1996021920111212 01Programming language implementation and logic programming1381999UNISANNIO