Buy Used and New Dominique Larchey - Wendling Books

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ... 8123 (Lecture Notes in Computer Science)

by Didier Galmiche, Dominique Larchey-Wendling

ISBN 13: 9783642405365

Format: Paperback (300 pages)
Publisher: Springer
Published: 21 Aug 2013

Save for later