 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Author="Feng, Yuzhang" |
|
Verifying OWL and ORL ontologies in PVS
Jin Song Dong, Yuzhang Feng, Yuan Fang Li
Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)
Lecture Notes in Computer Science
3407
, 2005, pp. 265-279
| Editors | Zhiming Liu, Keijiro Araki | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=265 | |
|
|
|
|