Feedback

X
#1

keyword: theorem proving – 3 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

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

Foundations of Software Science and Computation Structures

Christel Baier and Ugo Dal Lago

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures
Christel Baier and Ugo Dal Lago
No Faves
Read it Now

Programming Languages and Systems

Amal Ahmed

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Amal Ahmed
Faved by 1
Read it Now