Feedback

X
#1

keyword: automated deduction – 2 free books.

epub These books are available in EPUB format - good for Kindle, iBooks, Nook, Kobo.

  • View As:
  • view list
  • view icon

Automated Reasoning with Analytic Tableaux and Related Methods

Revantha Ramanayake and Josef Urban, editors

AVAILABLE!
Book cover
Revantha Ramanayake and Josef Urban, editors

Automated Deduction – CADE 29

Brigitte Pientka and Cesare Tinelli, editors

AVAILABLE!
Book cover
Brigitte Pientka and Cesare Tinelli, editors