...
机译:三元描述语言作为参数通用系统理论的一种形式:第三部分
Odessa University, Odessa 65000, Ukraine;
syntactical priority; synonymy; axioms; rules of substitution; rules of replacement; theorems of the TDL; system-theoretical laws;
机译:三元描述语言作为参数通用系统理论的形式主义:第1部分
机译:逻辑关系和参数性–用于分类理论和编程语言的雷诺程序
机译:基于可扩展标记语言声明性描述理论的统一建模语言图进行推理
机译:MPEG-4系统和描述语言:从实践到理论
机译:使用三元逻辑元件的自定时集成系统的理论和应用。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:关于描述复杂性的度量的顺序对形式语法形式主义(代数系统,形式语言以及常规和非常规计算理论)
机译:形式语言理论中的三元包围问题