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
DOI: 10.17694/bajece.1617429
FAVORITE 0 TOTAL DOWNLOAD COUNT 31

0

31

There are no Crossref cited.