A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning
Logic Colloquium 2017, Stockholm, Sweden, 14 - 20 August 2017, (Summary Text)
- Publication Type: Conference Paper / Summary Text
- City: Stockholm
- Country: Sweden
- Middle East Technical University Affiliated: Yes