Automated Reasoning - 9783030510534

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

Logic Programming and Automated Reasoning : International Conference Lpar '92...

Symbolic Computation and Automated Reasoning - 9781568811451

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

Automated Reasoning 10th International Joint Conference IJCAR 202

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