DESCRIPTION

Similar Listings

Automated Reasoning - 9783030510534

Journal Of Automated Reasoning, Kluwer Academic Publishers - Lot Of 3

Automated Reasoning with Analytic Tableaux and Related Methods: 20th Internation

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester,

Automated Reasoning - 9783642313646

Advances in Logic Programming and Automated Reasoning [Hard

Automated Reasoning - 9783319942049

Automated Reasoning - 9783319085869