事件形式化表示法 - 中国百科网

高级检索

专业板块专题板块大众板块

首页

事件形式化表示法

/formal representation of event/

最后更新 2023-03-04

浏览 147次

最后更新 2023-03-04

浏览 147次

0 意见反馈一键引用

在一阶谓词演算中，表示一个单独的谓词以及与给定的实例相联系的多个论元事件的形式化方法。

英文名称: formal representation of event

所属学科: 语言文字

阅读历史

版权所有 © 2025 中国大百科全书出版社
Copyrights © 2025 by Encyclopedia of China Publishing House.All Rights Reserved
京ICP备13020690号-4 京公网安备 11010202008139号
网络出版服务许可证：(署)网出证(京)字第155号

意见反馈

感谢您的反馈

我们会尽快处理您的反馈！

谢谢！