Burak Ekici profile image
Burak Ekici Asst. Prof. Dr. MUGLA SITKI KOCMAN UNIVERSITY
Publication 1 Review 2
1 Publication
2 Review

Research Fields

Computational Logic and Formal Languages Numerical Computation and Mathematical Software Computer System Software

Institution

MUGLA SITKI KOCMAN UNIVERSITY

Publications

Exploring Concepts of Interactive Theorem Proving
Authors: Burak Ekici
Published: 2026 , Balkan Journal of Electrical and Computer Engineering
DOI: 10.17694/bajece.1617429
FAVORITE 0 TOTAL DOWNLOAD COUNT 31

0

31

Articles published in
Balkan Journal of Electrical and Computer Engineering
Balkan Journal of Electrical and Computer Engineering

Reviews

Fırat Üniversitesi Mühendislik Bilimleri Dergisi
Fırat Üniversitesi Mühendislik Bilimleri Dergisi
Journal of Information Technologies
Journal of Information Technologies
There are no Crossref cited.
Popular Publications: It is determined automatically by the researchers doing research in DergiPark according to the statistics of being added to the favorites. CrossRef Cited: The citations shown in DergiPark are drawn from CrossRef. For this, the cited and cited articles must be registered in CrossRef (DOI number). ^: Citation numbers are reflected in the system by DergiPark at certain periods.