Dominique Larchey-Wendling - Böcker

Visar alla böcker från författaren Dominique Larchey-Wendling.
1 produkt
Didier Galmiche, Dominique Larchey-Wendling - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad

Automated Reasoning with Analytic Tableaux and Related Methods

Av Didier Galmiche, Dominique Larchey-Wendling

Häftad, Engelska, 2013

659 kr

Skickas inom 10-15 vardagar