Cheng Hui Wang Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 1991

2 Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang: A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. ICCI 1991: 699-708

1988

1 Li-Yan Yuan, Cheng Hui Wang: On Reducing Parallel Circumscription. AAAI 1988: 450-454

*	1991
2		Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang: A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. ICCI 1991: 699-708
	1988
1		Li-Yan Yuan, Cheng Hui Wang: On Reducing Parallel Circumscription. AAAI 1988: 450-454

Coauthor Index

1 Jia-Huai You [2]

2 Li-Yan Yuan [1] [2]