Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

An algorithm for computing theory prime implicates in first order logic
Arindama Singh, Manoj K. Raut
International Journal of Information and Communication Technology (IJICT), 2007 Vol.1 No.1, pp.4 - 13
6 + 5 =

Thank you for your feedback.