Chung-Hsuen Jeff Ho

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

1 EE Chung-Hsuen Jeff Ho: Completeness of the LELS Inference Rule in Automated Theorem Proving. J. Inf. Sci. Eng. 15(1): 153-164 (1999)