Sertkaya, B. And Oguztuzun, H. 2004. Proof of the basic theorem on concept lattices in Isabelle/HOL. COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS , vol.3280 , 976-985.

Sertkaya, B., & Oguztuzun, H., (2004). Proof of the basic theorem on concept lattices in Isabelle/HOL. COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS , vol.3280, 976-985.

Sertkaya, B, And MEHMET HALİT S. OĞUZTÜZÜN. "Proof of the basic theorem on concept lattices in Isabelle/HOL," COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS , vol.3280, 976-985, 2004

Sertkaya, B And Oguztuzun, MEHMET H. . "Proof of the basic theorem on concept lattices in Isabelle/HOL." COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS , vol.3280, pp.976-985, 2004

Sertkaya, B. And Oguztuzun, H. (2004) . "Proof of the basic theorem on concept lattices in Isabelle/HOL." COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS , vol.3280, pp.976-985.

@article{article, author={B Sertkaya And author={MEHMET HALİT S. OĞUZTÜZÜN}, title={Proof of the basic theorem on concept lattices in Isabelle/HOL}, journal={COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS}, year=2004, pages={976-985} }