01606nam2-2200421li-450 99000020040020331620180312154829.03-540-66492-00020040USA010020040(ALEPH)000020040USA01002004020001109d1999----km-y0itay0103----baengGWLogic for programming and automated reasoning6th International conference, LPAR'99Tbilisi, Georgia, September 6-10, 1999proceedingsHarald Ganzinger ...[et al.] (eds.)BerlinoSpringer-Verlagcopyr. 1999XII, 395 p.ill.22 cmLecture notes in artificial intelligence170500100199922001Lecture notes in artificial intelligencecongressitbilisi1999elaboratori elettroniciprogrammazionecongressi1999logica matematicacongressi19990051Programmazione. Tecnica di sviluppo dei programmiGanzinger,HaraldInternational conference LPAR '996.Tbilisi1999754462Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200400203316006.3 LNIA (1705)0024078006.300106808BKSCI1999011920001110USA011713ALANDI9020010402USA01150320020403USA011627PATRY9020040406USA011614Logic for programming and automated reasoning1518139UNISA