Burak Ekici profil resmi
Burak Ekici Yrd. Doç. Dr. MUGLA SITKI KOCMAN UNIVERSITY
Yayın 1 Hakemlik 2
1 Yayın
2 Hakemlik

Uzmanlık Alanları

Hesaplamalı Mantık ve Biçimsel Diller Sayısal Hesaplama ve Matematiksel Yazılım Bilgisayar Sistem Yazılımı

Kurum

MUGLA SITKI KOCMAN UNIVERSITY

Yayınlar

Exploring Concepts of Interactive Theorem Proving
Yazarlar: Burak Ekici
Yayın Bilgisi: 2026 , Balkan Journal of Electrical and Computer Engineering
DOI: 10.17694/bajece.1617429
FAVORİ 0 TOPLAM İNDİRİLME SAYISI 30

0

30

Makalelerin Yayımlandığı Dergiler
Balkan Journal of Electrical and Computer Engineering
Balkan Journal of Electrical and Computer Engineering

Hakemlik

Bilişim Teknolojileri Dergisi
Bilişim Teknolojileri Dergisi
Fırat Üniversitesi Mühendislik Bilimleri Dergisi
Fırat Üniversitesi Mühendislik Bilimleri Dergisi
Crossref atıf bulunmamaktadır.
Popüler Yayınlar: DergiPark'ta araştırma yapan araştırmacılar tarafından favoriye eklenme istatistiğine göre otomatik belirlenmektedir. CrossRef Atıf: DergiPark'ta gösterilen atıflar CrossRef'ten çekilmektedir. Bunun için atıf alan ve atıf verilen makalelerin CrossRef'te kaydının olması (DOI numarası) gerekmektedir. ^: Atıf sayıları DergiPark tarafından belirli periyotlar ile sisteme yansıtılmaktadır.