Gary Xin Hua

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993

1 Hantao Zhang, Gary Xin Hua: Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study. Ann. Math. Artif. Intell. 8(3-4): 383-405 (1993)

1993
1		Hantao Zhang, Gary Xin Hua: Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study. Ann. Math. Artif. Intell. 8(3-4): 383-405 (1993)

Coauthor Index

1 Hantao Zhang [1]