Central Library Search for 'au:"Galmiche, Didier."'

Automated Reasoning with Analytic Tableaux and Related Methods

. X, 289 p. 34 illus. 9783642405372

Place Hold on Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

. X, 289 p. 34 illus. 9783642405372

Place Hold on Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning

. XVIII, 724 p. 128 illus. 9783319942056

Place Hold on Automated Reasoning