Explore
keyword: decision procedures – 2 free books.
These books are available in EPUB format - good for Kindle, iBooks, Nook, Kobo.
Login to Fave
Automated Reasoning with Analytic Tableaux and Related Methods
Revantha Ramanayake and Josef Urban, editors
AVAILABLE!
Login to Fave