Automated ReasoningDidier Galmiche

Automated Reasoning

Didier Galmiche, Stephan Schulz, Roberto Sebastiani · 2018

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2018
Publisher: Springer
Editions: 1
Pages: 742
ISBN: 9783319942049

Data source: Wikidata

More by Didier Galmiche

Automated Reasoning with Analytic Tableaux and Related MethodsDidier Galmiche

Automated Reasoning with Analytic Tableaux and Related Methods

Didier Galmiche · 1997