ZhongWen Chen

2007
1	EE	Quan Liu, Yang Gao, ZhiMing Cui, WangShu Yao, ZhongWen Chen: An Tableau Automated Theorem Proving Method Using Logical Reinforcement Learning. ISICA 2007: 262-270

Coauthor Index

1	ZhiMing Cui	[1]
2	Yang Gao	[1]
3	Quan Liu	[1]
4	WangShu Yao	[1]