Tang Yue

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Tang Yue

(not current staff)

Variants

Tang, Y.

Main Affiliation

DEPT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcsty@nus.edu.sg

Results 1-1 of 1 (Search time: 0.003 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

		Issue Date	Title	Author(s)
	1	2004	Reasoning about Semantic Web in Isabelle/HOL	Tang, Y. ; Dong, J.S.; Sun, J.; Mahony, B.