COMPUTER TECHNIQUES; MATRICES (MATHEMATICS); PROGRAMMING LANGUAGES; SEMANTICS; COMPUTATIONAL GRIDS; MATHEMATICAL MODELS; THEOREM PROVING;
机译:用于将面向对象模型映射到语义Web语言的语义框架
机译:OSLN:一种面向对象的语义链接网络语言,用于复杂的对象描述和操作
机译:命令式面向对象语言的语义子类型化
机译:对象作为闭包:面向对象语言的抽象语义
机译:具有面向对象的语法和面向方面的语义的基于组件的语言实现
机译:用于将面向对象的模型映射到语义Web语言的语义框架
机译:对象作为闭包:面向对象语言的抽象语义
机译:对象作为闭包:面向对象语言的抽象语义