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

Automated Reasoning - 9783642313646

Advances in Logic Programming and Automated Reasoning [Hard

Automated Reasoning - 9783031107689

Automated Reasoning - 9783319942049

Automated Reasoning with Analytic Tableaux and Related Methods - 9783032060846

Automated Reasoning and Mathematics - 9783642366741

Automated Reasoning with Analytic Tableaux and Related Methods - 9783031435126