Publications
Export 2 results:
Sort by: Author Keyword Title Type [ Year
] Filters: Author is M.K. Raut [Clear All Filters]
. An algorithm for computing prime implicates in first order logic. Int. J. Information and Communication Technology. 2007;1:4-13.
. Prime implicants of first order formulas. Int. J. Computer Science and Applications. 2004;1:1-11.