Kun Hou

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

1	Jigui Sun	[1] [2]
2	Xia Wu	[1] [2]