一阶谓词逻辑
1990年公布的自动化科学技术名词
一阶谓词逻辑（first order predicate logic）是1990年公布的自动化科学技术名词。
公布时间
1990年，经全国科学技术名词审定委员会审定发布。
出处
《自动化名词》第一版。
参考资料
一阶谓词逻辑.术语在线.
最新修订时间：2022-06-16 18:22
条目作者
小编
目录
概述
公布时间
出处
参考资料

Copyright©2024 闽ICP备2024072939号-1