Yayınlar & Eserler

Yayın Ağı

Hakemli Kongre / Sempozyum Bildiri Kitaplarında Yer Alan Yayınlar

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

Metrikler

Yayın

1

Proje

1

Tez Danışmanlığı

9

Açık Erişim

4