Automated Deduction – CADE-22Renate A. Schmidt

Automated Deduction – CADE-22

Renate A. Schmidt · 2009

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: 2009
Language: English
Series: Lecture Notes in Computer Science -- 5663
Publisher: Springer Berlin Heidelberg
Editions: 1
ISBN: 9783642029585

Data source: Wikidata

More by Renate A. Schmidt

Relations and Kleene Algebra in Computer ScienceRenate A. Schmidt

Relations and Kleene Algebra in Computer Science

Renate A. Schmidt · 2006

Automated Reasoning with Analytic Tableaux and Related MethodsRenate A. Schmidt

Automated Reasoning with Analytic Tableaux and Related Methods

Renate A. Schmidt · 2017