当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
理论、方法
--
形式语言理论
模糊系统验证的形式化方法研究
多线程离散事件模拟语言的证明推理系统
客户机—服务器交互模式类型系统的演进特性研究
扩展cCSP的操作语义及验证技术研究
参数化进程网络的形式化语义研究
线性时态逻辑中若干基础问题的研究
形式概念分析相关理论研究
一种基于断言图的模型抽象技术的研究
时序逻辑转换断言图的研究
基于Petri网的工作流模型研究与应用
非对称X～≠-演算符号互模拟验证
计算语用学基础理论及其应用研究
模糊神经网络自动机的理论研究及其在模式识别中的应用
性质语意理论的提出与自然语言理解及其实现的研究
[1]
