Reasoning about semantic web in isabelle/HOL

Master's

Saved in:

Bibliographic Details
Main Author:	TANG YUE
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	Semantic Web, DAML+OIL, Isabelle
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/13963
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-13963
record_format	dspace
spelling	sg-nus-scholar.10635-139632015-01-09T06:42:02Z Reasoning about semantic web in isabelle/HOL TANG YUE COMPUTER SCIENCE DONG JIN SONG Semantic Web, DAML+OIL, Isabelle Master's MASTER OF SCIENCE 2010-04-08T10:38:31Z 2010-04-08T10:38:31Z 2004-06-19 Thesis TANG YUE (2004-06-19). Reasoning about semantic web in isabelle/HOL. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/13963 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Semantic Web, DAML+OIL, Isabelle
spellingShingle	Semantic Web, DAML+OIL, Isabelle TANG YUE Reasoning about semantic web in isabelle/HOL
description	Master's
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE TANG YUE
format	Theses and Dissertations
author	TANG YUE
author_sort	TANG YUE
title	Reasoning about semantic web in isabelle/HOL
title_short	Reasoning about semantic web in isabelle/HOL
title_full	Reasoning about semantic web in isabelle/HOL
title_fullStr	Reasoning about semantic web in isabelle/HOL
title_full_unstemmed	Reasoning about semantic web in isabelle/HOL
title_sort	reasoning about semantic web in isabelle/hol
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/13963
_version_	1681078946871902208

Similar Items