Feedback

X
#1

keyword: automated reasoning – 2 free books.

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

  • View As:
  • view list
  • view icon

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

AVAILABLE!
Book cover
Uli Sattler and Martin Suda, editors

Automated Deduction – CADE 29

Brigitte Pientka and Cesare Tinelli, editors

AVAILABLE!
Book cover
Brigitte Pientka and Cesare Tinelli, editors