Concepedia
Statistics
Publications
1
Citations
195
H-Index
Active since
1997
Tze Ho Fung is an author specializing in logic, computer science, and automated reasoning.
Publications per year
1997–1997
The IFF proof procedure for abductive logic programming
Tze Ho Fung, Robert Kowalski · The Journal of Logic Programming · 1997 · 195 citations
Computing, Computer Science, Formal Methods +10
1–1 of 1