Automated reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings - IJCAR 2001 (2008 : Sydney, Australia); Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Automatic theorem proving -- Congresses; Computer logic -- Congresses; Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering