Lin Hai (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

1

Lin Hai, Jigui Sun, Zhang Yimin: Theorem Proving Based on the Extension Rule. J. Autom. Reasoning 31(1): 11-21 (2003)

Selection of 1 from 2 records - Lin Hai has 2 coauthors