Oğuz Akçelik

E-mail
akcelik@metu.edu.tr
Department
Department of Philosophy
A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning
Akçelik, Oğuz; Zambak, Aziz Fevzi (null; 2017-08-10)
Citation Formats