02231nam0 22004213i 450 AQ1000805420251003044041.0354058431520110926d1994 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierAlgebraic and logic programming4. international conference, ALP '94Madrid, Spain, September 14-16, 1994proceedingsGiorgio Levi, Mario Rodriguez-Artalejo (eds.)Berlin [etc.]Springer1994VIII, 304 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis850Nella prefaz.: Fourth International conference on algebraic and logic programming001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis850702 1Goos, GerhardAQ1V006441340Elaboratori elettroniciLinguaggiCongressi1994FIRNAPC257757I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniRodriguez Artalejo, MarioAQ1V004353Levi, Giorgio <1942- >CFIV224431International conference on algebraic and logic programming <4. ; 1994 ; Madrid>AQ1V004352070714660International conference on algebraic and logic programming <4. ; 1994 ; Madrid>AQ1V004354International conference on algebraic and logic programming <4. ; 1994 ; Madrid>ALP <4. ; 1994 ; Madrid>TO0V163584International conference on algebraic and logic programming <4. ; 1994 ; Madrid>ITIT-00000020110926IT-BN0095 AQ10008054Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000023685 VMA FD850 v. 850Y 1996030120110926 01Algebraic and logic programming1382001UNISANNIO