A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning
Copy For Citation
AKÇELİK O., ZAMBAK A. F.
Logic Colloquium 2017, Stockholm, Sweden, 14 - 20 August 2017
-
Publication Type:
Conference Paper / Summary Text
-
City:
Stockholm
-
Country:
Sweden
-
Middle East Technical University Affiliated:
Yes