Middle East Technical University
Research Information System
Researcher Login
Türkçe
All
Projects
Award
Intellectual Property
User
Publications
Theses
Advanced Search
Home page
Latest Publications
A Decision Procedure Model for Findingth...
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
Publication Type:
Conference Paper / Summary Text
City:
Stockholm
Country:
Sweden