01829nam2-2200457li-450 99000020080020331620180312154830.03-540-55460-20020080USA010020080(ALEPH)000020080USA01002008020001109d1992----km-y0itay0103----baengGWLogic programmingfirst Russian conference on logic programmingIrkutsk, Russia, September 14-18, 1990second Russian conference on logic programmingSt. Peterburg, Russia, September 11-16, 1991proceedingsA. Voronkov (ed.)Berlin [etc.]Springer-Verlagcopyr. 1992IX, 514 p.ill.25 cm.Lecture notes in artificial intelligence592serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressiirkutsk1990congressist. petersburg1991elaboratori elettroniciprogrammazionecongressi1991logica matematicacongressi1991005131Logica matematica (Logica simbolica)Voronkov,AndreiRussian conference on logic programming1.Irkutsk1990754452Russian conference on logic programming2.St. Petersburg1991Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200800203316006.3 LNIA (592)0017793006.300106587BKSCI1996011220001110USA011713ALANDI9020010328USA01111120020403USA011628PATRY9020040406USA011614Logic programming1518128UNISA