01330nam--2200385---45--99000306628020331620080219152554.03-540-37187-7000306628USA01000306628(ALEPH)000306628USA0100030662820080219d2006----km-y0ITAy0103-------baengDEAutomated reasoningThird international joint conference, IJCAR 2006Seattle, WA,USA,August 17-20, 2006proceedingsUlrich Furbach, Natarajan Shankar (eds.)Berlin [etc.]Springercopyr. 2006XV, 677 p.24cmLecture notes in artifiacial intelligence4130Lecture notes in computer science2001Lecture notes in artificial intelligence4130006.3FURBACH,UlrichSHANKAR,NatarajanInternational Joint conference<3.;2006 ;Seattle>600237ITACBSISBD990003066280203316006.3 LNAI 413034046/CBS006.300216701BKSCIANGELA9020080219USA011156ANGELA9020080219USA011508ANGELA9020080219USA011525Automated reasoning1022594UNISA