Extending classical theorem proving for the semantic web
author
statement of authorship
Tanel Tammet
source
PSSS1 - Practical and Scalable Semantic Systems : proceedings of the First International Workshop on Practical and Scalable Semantic Systems : Sanibel Island, Florida, USA, October 20, 2003
location of publication
[S.l.]
publisher
year of publication
pages
[14] p
series
CEUR workshop proceedings ; 89
conference name, date
1st International Workshop on Practical and Scalable Semantic Systems, October 20, 2003
conference location
Sanibel Island, Florida, USA
subject term
notes
Bibliogr. p. [14]
language
inglise
Tammet, T. Extending classical theorem proving for the semantic web // PSSS1 - Practical and Scalable Semantic Systems : proceedings of the First International Workshop on Practical and Scalable Semantic Systems : Sanibel Island, Florida, USA, October 20, 2003. [S.l.] : CEUR-WS.org, 2003. [14] p. (CEUR workshop proceedings ; 89).