AKÇELİK, O. And ZAMBAK, A. F. 2017. A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning. Logic Colloquium 2017 , (Stockholm, Sweden).

AKÇELİK, O., & ZAMBAK, A. F., (2017). A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning . Logic Colloquium 2017, Stockholm, Sweden

AKÇELİK, OĞUZ, And AZİZ FEVZİ ZAMBAK. "A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning," Logic Colloquium 2017, Stockholm, Sweden, 2017

AKÇELİK, OĞUZ And ZAMBAK, AZİZ F. . "A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning." Logic Colloquium 2017 , Stockholm, Sweden, 2017

AKÇELİK, O. And ZAMBAK, A. F. (2017) . "A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning." Logic Colloquium 2017 , Stockholm, Sweden.

@conferencepaper{conferencepaper, author={OĞUZ AKÇELİK And author={AZİZ FEVZİ ZAMBAK}, title={A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning}, congress name={Logic Colloquium 2017}, city={Stockholm}, country={Sweden}, year={2017}}