Yayınlar & Eserler

Yayın Ağı
Hakemli Bilimsel Toplantılarda Yayımlanmış Bildiriler 1

1. 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)
Metrikler

Yayın

1

Proje

1

Tez Danışmanlığı

9

Açık Erişim

4