01276nam--2200373---450 99000296266020331620180312154725.03-540-22345-2000296266USA01000296266(ALEPH)000296266USA0100029626620070813d2004----km-y0ITAy0103-------baENGDEAutomated reasoningSecond international joint conference, IJCAR 2001Cork, Ireland, July 2004proceedingsDavid Basin, Michael Rusinowitch(eds.)Berlin [etc.]Springercopyr. 2004XII, 491 p.ill.20 cmLecture notes in artifiacial intelligence3097Lecture notes in computer science2001Lecture notes in artificial intelligence3097006.3BASIN,DavidRUSINOWITCH,MichaelInternational Joint conference<2. ;2004 ;Cork>597846ITACBSISBD990002962660203316006.3 LNAI 309731171/CBS006.300215492BKSCISENATORE9020070813USA011005ANGELA9020070821USA011550Automated reasoning1026986UNISA