Select
Explore
keyword: decision procedures – 2 free books.
Login to Fave
Automated Reasoning with Analytic Tableaux and Related Methods
Revantha Ramanayake and Josef Urban, editors
AVAILABLE!
Login to Fave