Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Anupam Das
,
Sara Negri
Details
OL Work ID
OL25348162W
Find this book
Open Library