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

  • Basıldığı Şehir: Stockholm
  • Basıldığı Ülke: İsveç