University of Bridgeport Textbooks > Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
ISBN:3031435125
ISBN13:9783031435126
Publisher:Springer