Feedback

X
#1

keyword: automated deduction – 2 free books.

doab These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.

  • View As:
  • view list
  • view icon

Automated Reasoning with Analytic Tableaux and Related Methods

Revantha Ramanayake and Josef Urban, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Reasoning with Analytic Tableaux and Related Methods
Revantha Ramanayake and Josef Urban, editors
No Faves
Read it Now

Automated Deduction – CADE 29

Brigitte Pientka and Cesare Tinelli, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Deduction – CADE 29
Brigitte Pientka and Cesare Tinelli, editors
No Faves
Read it Now