Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings - IJCAR 2006 (2006 : Seattle, Wash.); Furbach, Ulrich; Shankar, N. (Berlin ; New York : Springer, 2006)
Includes bibliographical references and index.
Keywords: Automatic theorem proving -- Congresses; Computer logic -- Congresses; Automated reasoning; IJCAR