Mirasyedioglu, S. And Guyer, T. 2006. A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG. APPLIED MATHEMATICS AND COMPUTATION , vol.176, no.1 , 65-75.

Mirasyedioglu, S., & Guyer, T., (2006). A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG. APPLIED MATHEMATICS AND COMPUTATION , vol.176, no.1, 65-75.

Mirasyedioglu, Seref, And TOLGA GÜYER. "A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG," APPLIED MATHEMATICS AND COMPUTATION , vol.176, no.1, 65-75, 2006

Mirasyedioglu, Seref And Guyer, TOLGA. "A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG." APPLIED MATHEMATICS AND COMPUTATION , vol.176, no.1, pp.65-75, 2006

Mirasyedioglu, S. And Guyer, T. (2006) . "A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG." APPLIED MATHEMATICS AND COMPUTATION , vol.176, no.1, pp.65-75.

@article{article, author={Seref Mirasyedioglu And author={TOLGA GÜYER}, title={A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG}, journal={APPLIED MATHEMATICS AND COMPUTATION}, year=2006, pages={65-75} }