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)


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


Biochemistry, Genetics and Molecular Biology

Computer Science