Qingxun Yu

List of publications from the DBLP Bibliography Server - FAQ

1998

1 Qingxun Yu, Mohammed Almulla, Monroe M. Newborn: Heuristics Used by HERBY for Semantic Tree Theorem Proving. Ann. Math. Artif. Intell. 23(3-4): 247-266 (1998)

1998
1		Qingxun Yu, Mohammed Almulla, Monroe M. Newborn: Heuristics Used by HERBY for Semantic Tree Theorem Proving. Ann. Math. Artif. Intell. 23(3-4): 247-266 (1998)

Coauthor Index

1 Mohammed Almulla [1]

2 Monty Newborn (Monroe M. Newborn) [1]