3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, ... P £ HS2 do J <- SINGLE_JUST(A CB,0\P) for a £ J do |_ HSi <- flSi U{PU{a}} Theorem 2.
確定! 回上一頁