Extending classical theorem proving for the semantic web
autor
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
ilmumisaasta
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
märksõna
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).