Tze Ho Fung

Publication Activity (10 Years)

Years Active: 1997-1997
Publications (10 Years): 0

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Tze Ho Fung, Robert A. Kowalski
The Iff Proof Procedure for Abductive Logic Programming. J. Log. Program. 33 (2) (1997)