01472nam--2200385---45--99000309556020331620080415102059.0978-3-540-75558-6000309556USA01000309556(ALEPH)000309556USA0100030955620080415d2007----km-y0ITAy0103-------baengDELogic for programming, artificial intelligence, and reasoning14th International conference, LPAR 2007Yerevan, Armenia, October 15-19, 2007proceedingsNachum Dershowitz, Andrei Voronkov (Eds.)Berlin [etc.]Springercopyr. 2007XIII, 562 p.ill.24 cmLecture notes in artificial intelligence4790Lecture notes in computer science2001Lecture notes in artificial intelligence4790Elaboratori elettroniciProgrammazioneCongressiYerevan2007Logica matematicaCongressiYerevan2006005.1DERSHOWITZ,NachumVORONKOV,AndreiInternational conference, LPAR 2007<14. ;2007 ;Yerevan>601132ITACBSISBD990003095560203316006.3 LNAI 479035889/CBS006.300216775BKSCIANGELA9020080415USA011021Logic for programming, artificial intelligence, and reasoning1019286UNISA