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

Advances in Logic Programming and Automated Reasoning [Hard

Automated Reasoning with Analytic Tableaux and Related Methods - 9783032060846

Automated Reasoning with Analytic Tableaux and Related Methods - 9783031435126

Blanchette - Automated Reasoning 11th International Joint Conference - X555z

Automated Reasoning and Mathematics - 9783642366741

Automated Reasoning - 9783642313646

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