Dominique Larchey-Wendling - Böcker

Visar alla böcker från författaren Dominique Larchey-Wendling.

1 produkt

Kategorier

1 produkt

Automated Reasoning with Analytic Tableaux and Related Methods

22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Av Didier Galmiche, Dominique Larchey-Wendling

Häftad, Engelska, 2013

649 kr

Skickas inom 10-15 vardagar