Artificial Intelligence - General, Logic & Foundations of Mathematics, Computer Mathematics
Log in to track your reading progress.
This is the only edition we have for Automated Reasoning with Analytic Tableaux and Related Methods.