01476nam--2200385---450 99000187234020331620180312154736.03-540-20101-7000187234USA01000187234(ALEPH)000187234USA0100018723420040723d2003----km-y0ITAy0103-------baengDELogic for programming, artificial intelligence, and reasoning10th International conference, LPAR 2003Almaty, Kazakhstan, September 22-26, 2003proceedingsMoshe Y. Vardi, Andrei Voronkov (Eds.)Berlin [etc.]Springercopyr. 2003XIII, 436 p.ill.24 cmLecture notes in artificial intelligence2850Serie principale: Lecture notes in computer science2001Lecture notes in artificial intelligence2850Elaboratori elettroniciProgrammazioneCongressi2003Logica matematicaCongressi2003005.1VARDI,Moshe Y.VORONKOV,AndreiInternational conference, LPAR 2003 <10. ; 2003 ; Almaty, Kazakhstan>564700ITACBSISBD990001872340203316006.3 LNAI 28500030215/CBS006.300114071BKSCIRIVELLI9020040723USA011124Logic for programming, artificial intelligence, and reasoning954961UNISA