Extending classical theorem proving for the semantic web

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