A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning | AVESİS

Middle East Technical University Research Information System

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