Top 1200 pub journal of automated reasoning PDF Book

book image

Automated Reasoning

Didier Galmiche, Stephan Schulz, Roberto Sebastiani
·740 Pages
·2018
·28.928 MB

book image

Automated Practical Reasoning: Algebraic Approaches

Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (eds.)
·232 Pages
·1995
·5.05 MB