Kun Hou

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

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

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

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

Coauthor Index