WangShu Yao

	2007
1		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	ZhongWen Chen	[1]
2	ZhiMing Cui	[1]
3	Yang Gao	[1]
4	Quan Liu	[1]