Authors Search About

Narendran, Paliath

1 publications

IJCAI 1985 An Equational Approach to Theorem Proving in First-Order Predicate Calculus Deepak Kapur, Paliath Narendran

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy