From Exploration to Proof Production

Feng Jui Hsieh*, Wang Shian Horng, Haw Yaw Shy

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'From Exploration to Proof Production'. Together they form a unique fingerprint.

INIS

Biochemistry, Genetics and Molecular Biology

Computer Science