Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Josef Urban
,
Revantha Ramanayake
Details
OL Work ID
OL36457869W
Find this book
Open Library