Didier Galmiche - Böcker

Visar alla böcker från författaren Didier Galmiche.
3 produkter
Didier Galmiche, Stephan Schulz, Roberto Sebastiani - Automated Reasoning, Häftad

Automated Reasoning

Av Didier Galmiche, Stephan Schulz, Roberto Sebastiani

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar
Didier Galmiche - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad

Automated Reasoning with Analytic Tableaux and Related Methods

Av Didier Galmiche

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar
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