一种基于有色Petri网的知识库验证方法

机译：一种有色Petri网的企业架构验证方法

机译：SOPHIA，一种基于知识库的反应预测系统-利用基于反应数据库的知识库

机译：使用有色Petri网动态验证对象规则知识库

机译：使用基于分层有色Petri网的测试平台的功能验证方法

机译：开发和验证一种在统计学中衡量大学生推理能力的工具：一种基于论证的验证方法。

机译：基于有色Petri网形式主义的多发性硬化症研究计算方法

机译：Vedalogic：一种基于挖掘模型的气候数据验证方法Vedalogic：一种基于数据挖掘模型的气候数据验证方法

机译：基于知识的飞机自动化：管理人员使用人工智能进行飞机自动化和基于神经的飞行控制器的验证和验证方法指南

机译：基于知识库的编辑方法，基于知识库的编辑设备，基于知识库的编辑程序和记录介质

机译：一种基于生物数据识别的电子文档验证方法和一种基于生物数据完整性的电子签名方法，该方法将电子文档的原始文本与标记，验证码和标记一起使用，并以此为目的进行验证，验证，确认服务器和计算机

机译：一种基于知识库的创建方法