Authors Search About

Chang, Ruey-Juin

1 publications

AAAI 1987 A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts Peiya Liu, Ruey-Juin Chang

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