01682nam2-2200445li-450 99000020050020331620180312154626.03-540-58216-90020050USA010020050(ALEPH)000020050USA01002005020001109d1994----km-y0itay0103----baengGWLogic programming and automated reasoning5th International conference LPAR'94Kiev, Ukraine, July 16-22, 1994proceedingsFrank Pfenning (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994X, 344 p.ill.24 cmLecture notes in artificial intelligence822serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressikiev1994elaboratori elettroniciprogrammazionecongressi1994intelligenza artificialecongressi1994logica matematicacongressi1994005131Logica matematica (Logica simbolica)Pfenning,FrankInternational conference LPAR'945.Kiev1994745527Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200500203316006.3 LNIA (822)0017405006.300106629BKSCI1999020120001110USA011713ALANDI9020010328USA01175720020403USA011627PATRY9020040406USA011614Logic programming and automated reasoning1486997UNISA