02356nam0 22003733i 450 AQ1000805420240712062442.0354058431520110926d1994 ||||0itac50 baengdez01i xxxe z01nAlgebraic 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. Hartmanis850Elaboratori elettroniciLinguaggiCongressi1994FIRNAPC257757I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Rodriguez 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-NA007920110926IT-BN0095 AQ10008054Biblioteca 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 0000023685 B FD850 v. 8503 1996030120110926 01Algebraic and logic programming1382001UNISANNIO