Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings - Olivetti, Nicola; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Software engineering; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages; Programming Techniques; Software Engineering