A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning

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

Logic Colloquium 2017, Stockholm, İsveç, 14 - 20 Ağustos 2017, (Özet Bildiri)

  • Yayın Türü: Bildiri / Özet Bildiri
  • Basıldığı Şehir: Stockholm
  • Basıldığı Ülke: İsveç
  • Orta Doğu Teknik Üniversitesi Adresli: Evet