Md. Zahidul Islam, Ahmed Shah Mashiyat, Kashif Nizam Khan
and S. M. Masud Karim, Ă˘€śA Tableau Based Automated Theorem Prover Using
High Performance ComputingĂ˘€ť, JOURNAL OF COMPUTERS, Academy Publishers, VOL. 7, NO. 3, MARCH 2012
- Md. Enamul Karim, Mahmood Hossain, M.A. Mottalib and Tarequz Zaman "A modified neural network learning approach and its application to Bengali character recognition", Malaysian Journal of Computer Science, vol. 11, no.2, pp. 68-73, December 1998.
- Md. Zahidul Islam, Ahmed Shah Mashiyat, Kashif Nizam Khan and S. M. Masud Karim, Ă˘€śTowards A Tableau Based High Performance Automated Theorem ProverĂ˘€ť , in proceedings of 13th International Conference on Computer and Information Technology (ICCIT), 23-25 December, 2010, Dhaka.
Al Masum, Tanveer Mahmud Rony, Md.
Hasanul Kabir, Arafat-Ur-Rahman, and A.B.M. Baizid "Building a
Smart and Interactive Chat Agent as Education Counselor", in Proceeding
of 6th International Conference on Computer & Information Technology
(ICCIT), Vol. II., pp. 548-551, Dec. 2003