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