Aksoy, K. Et Al. 2019. INTRODUCTION TO HOL4 THEOREM PROVER. SIGMA JOURNAL OF ENGINEERING AND NATURAL SCIENCES-SIGMA MUHENDISLIK VE FEN BILIMLERI DERGISI , vol.10, no.2 , 237-243.

Aksoy, K., Tahar, S., & ZEREN, Y., (2019). INTRODUCTION TO HOL4 THEOREM PROVER. SIGMA JOURNAL OF ENGINEERING AND NATURAL SCIENCES-SIGMA MUHENDISLIK VE FEN BILIMLERI DERGISI , vol.10, no.2, 237-243.

Aksoy, Kubra, Sofiene Tahar, And Yusuf ZEREN. "INTRODUCTION TO HOL4 THEOREM PROVER," SIGMA JOURNAL OF ENGINEERING AND NATURAL SCIENCES-SIGMA MUHENDISLIK VE FEN BILIMLERI DERGISI , vol.10, no.2, 237-243, 2019

Aksoy, Kubra Et Al. "INTRODUCTION TO HOL4 THEOREM PROVER." SIGMA JOURNAL OF ENGINEERING AND NATURAL SCIENCES-SIGMA MUHENDISLIK VE FEN BILIMLERI DERGISI , vol.10, no.2, pp.237-243, 2019

Aksoy, K. Tahar, S. And ZEREN, Y. (2019) . "INTRODUCTION TO HOL4 THEOREM PROVER." SIGMA JOURNAL OF ENGINEERING AND NATURAL SCIENCES-SIGMA MUHENDISLIK VE FEN BILIMLERI DERGISI , vol.10, no.2, pp.237-243.

@article{article, author={Kubra Aksoy Et Al. }, title={INTRODUCTION TO HOL4 THEOREM PROVER}, journal={SIGMA JOURNAL OF ENGINEERING AND NATURAL SCIENCES-SIGMA MUHENDISLIK VE FEN BILIMLERI DERGISI}, year=2019, pages={237-243} }