...
机译:不完整且不确定的信息系统:描述符语言的面向对象语义
Department of Logic and Philosophy of Science, Maria Curie-Sktodowska University, Poland;
机译:祈使概率非确定性语言的直接谓词转换器局部正确语义相关
机译:概率非确定性语言在状态和谓词转换器语义之间介导的Minkowski型对偶
机译:非确定性混合控制系统离散事件模型中的最高可控制子语言
机译:非确定性概率自动机的凸语言语义
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:统一医学语言系统。 Umls语义网络:UMLS语义网络
机译:可确定的可定向自动机和相关语言(语言,代数和计算机系统)
机译:转换系统,无限语言和统一并发的语义