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

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

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd Internation

Advances in Logic Programming and Automated Reasoning [Hard

Automated Reasoning - 9783031107689

Automated Reasoning - 9783319942049

Automated Reasoning - 9783319085869

Automated Reasoning with Analytic Tableaux and Related Methods - 9783032060846