Extending classical theorem proving for the semantic web
author
Tammet, Tanel
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
CEUR-WS.org
year of publication
2003
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
url
https://www.researchgate.net/publication/2872563_Extending_Classical_Theorem_Proving_for_the_Semantic_Web
subject term
semantiline veeb
notes
Bibliogr. p. [14]
language
inglise