Tzee Ho Fung

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1997

1 Tzee Ho Fung, Robert A. Kowalski: The Iff Proof Procedure for Abductive Logic Programming. J. Log. Program. 33(2): 151-165 (1997)

	1997
1		Tzee Ho Fung, Robert A. Kowalski: The Iff Proof Procedure for Abductive Logic Programming. J. Log. Program. 33(2): 151-165 (1997)

Coauthor Index