Author Info
Name
Papers
Collaborators
ANTHONY S. K. CHENG
3
3
Citations 
PageRank 
Referers 
3
1.36
7
Referees 
References 
4
2
Title
Citations
PageRank
Year
Theorem Proving Applications for QU-Prolog.00.341994
An Implementation for a Higher Level Logic Programming Language00.341992
Higher Level Meta Programming In Qu-Prolog 3.030.681991