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