Functional Programming, Concurrency, Simulation and Automated Reasoning by Lauer

Lauer - Functional Programming Concurrency Simulation and Automated - X555z

Automated Reasoning with Analytic Tableaux and Related Methods :

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '9

Handbook of Practical Logic and Automated Reasoning by Harrison

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99

Automated Reasoning With Analytic Tableaux and Related Methods : 28th Interna...