Orta Doğu Teknik Üniversitesi
Akademik Veri Yönetim Sistemi
Araştırmacı Girişi
English
Tümü
Projeler
Ödüller
Fikri Mülkiyet
Bilimsel Veri Paylaşımı
Araştırmacılar
Yayınlar
Tezler
Detaylı Arama
Ana Sayfa
Son Eklenen Yayınlar
In Pursuit of the Missing Premise in Fir...
In Pursuit of the Missing Premise in First Order Logic
Atıf İçin Kopyala
AKÇELİK O.
British Logic Colloquium 2015, Cambridge, Kanada, 1 - 04 Eylül 2015
Yayın Türü:
Bildiri / Özet Bildiri
Basıldığı Şehir:
Cambridge
Basıldığı Ülke:
Kanada
Orta Doğu Teknik Üniversitesi Adresli:
Evet