A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning

AKÇELİK O., ZAMBAK A. F.

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