Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /

Corporate Authors: TABLEAUX (Conference) Nancy, France); SpringerLink (Online service)
Group Author: Galmiche, Didier, 1958-; Larchey-Wendling, Dominique
Published: Springer,
Publication Dates: 2013.