“一阶谓词演算”的意思、由来及中英文翻译是什么-中文百科知识-开放百科全书

词条	一阶谓词演算
类别	中文百科知识
释义	一阶谓词演算一阶谓词逻辑的形式化公理系统。
随便看	咸阳酶发糊精厂咸阳金融咸阳针织印染厂咸阳铸字机械厂咸阳长庆液化气有限责任公司咸阳长庆鑫源工程技术有限公司咸阳长途电信线务局咸阳长陵乙炔厂咸阳阻击战咸阳陶瓷厂咸阳陶瓷研究设计院咸阳非金属矿研究所咸阳风帆压缩机有限公司咸阳麻食咸雍咸鱼卵制品咸鲐鱼咸鲱鱼咸鲳鱼咸鳓鱼咸黄泥螺咽咽下神经节咽侧体咽唾养生法

开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。