01627nam2-2200433li-450 99000020097020331620180312154723.03-540-55727-X0020097USA010020097(ALEPH)000020097USA01002009720001109d1992----km-y0itay0103----baengGWLogic programming and automated reasoningInternational conference LPAR'92, St. Petersburg, Russia, July 15-20,1992proceedingsA. Voronkov (ed.)Berlin [etc.]Springer-Verlagcopyr. 1992XIV, 509 p.ill.25 cmLecture notes in artificial intelligence624serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressileningrado1992elaboratori elettroniciprogrammazionecongressi1992intelligenza artificialecongressi1992logica matematicacongressi1992005131Logica matematica (Logica simbolica)Voronkov,AndreiInternational conference LPAR'92Leningrado1992747052Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200970203316006.3 LNIA (624)0014566BKSCI1999013120001110USA01171320020403USA011628PATRY9020040406USA011614Logic programming and automated reasoning1491901UNISA