Kun Hou

List of publications from the DBLP Bibliography Server - FAQ

2006

2 EE Xia Wu, Jigui Sun, Kun Hou: Extension Rule in First Order Logic. IEEE ICCI 2006: 701-706

1 EE Xia Wu, Jigui Sun, Kun Hou: An Extension Rule Based First-Order Theorem Prover. KSEM 2006: 514-524

2006
2	EE	Xia Wu, Jigui Sun, Kun Hou: Extension Rule in First Order Logic. IEEE ICCI 2006: 701-706
1	EE	Xia Wu, Jigui Sun, Kun Hou: An Extension Rule Based First-Order Theorem Prover. KSEM 2006: 514-524

Coauthor Index