Author: "Ming-yuan Zhu" / Journal: compsac - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Ming-yuan Zhu"' showing total 4 results

Start Over Author "Ming-yuan Zhu" Journal compsac

4 results on '"Ming-yuan Zhu"'

1. Mechanical synthesis of a unification algorithm in PowerEpsilon.

Author: Ming-Yuan Zhu and Xiao-Bai Mo
Published: 1995
Full Text: View/download PDF

2. Program extraction by type erasing.

Author: Ming-Yuan Zhu and Yi-Qiang Ding
Published: 1994
Full Text: View/download PDF

3. Computing with real world: a fuzzy duration calculs.

Author: Ming-Yuan Zhu and Cheng-Wei Wang
Published: 1993
Full Text: View/download PDF

4. Program derivation in PowerEpsilon.

Author: Ming-Yuan Zhu and Cheng-Wei Wang
Published: 1992
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results