prindi

Extending classical theorem proving for the semantic web

autor
Tammet, Tanel
vastutusandmed
Tanel Tammet
allikas
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
ilmumiskoht
[S.l.]
kirjastus/väljaandja
CEUR-WS.org
ilmumisaasta
2003
leheküljed
[14] p
seeria-sari
CEUR workshop proceedings ; 89
konverentsi nimetus, aeg
1st International Workshop on Practical and Scalable Semantic Systems, October 20, 2003
konverentsi toimumispaik
Sanibel Island, Florida, USA
leitav
https://www.researchgate.net/publication/2872563_Extending_Classical_Theorem_Proving_for_the_Semantic_Web
märksõna
semantiline veeb
märkused
Bibliogr. p. [14]
keel
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). https://www.researchgate.net/publication/2872563_Extending_Classical_Theorem_Proving_for_the_Semantic_Web