01709nam2-2200445li-450 99000020154020331620180312154649.03-540-56944-80020154USA010020154(ALEPH)000020154USA01002015420001109d1993----km-y0itay0103----baengGWLogic programming and automated reasoning4th International conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993proceedingsAndrei, Voronkov (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993XIII, 386 p.ill.24 cmLecture notes in artificial intelligence698serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressileningrado1993elaboratori elettroniciprogrammazionecongressi1993intelligenza artificialecongressi1993logica matematicacongressi1993005131Logica matematica (Logica simbolica)Voronkov,AndreiInternational conference LPAR'934.Leningrado1993745972Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000201540203316006.3 LNIA (698)0015234006.300106608BKSCI1999013120001110USA011714ALANDI9020010328USA01173020020403USA011628PATRY9020040406USA011614Logic programming and automated reasoning1488372UNISA