请输入您要查询的字词:
单词
逻辑程序设计
释义
逻辑程序设计
Encyclopedia
理学
知识表示
释
logic programming
逻辑程序设计
在谈到逻辑程序设计时不能不涉及人工智能和专家系统(或含义更广的智能知识系统)。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
Mathematics
logical programming
逻辑程序设计
Computer
软件工程
释文
logic programming
逻辑程序设计
随便看
冯·卡门方程
冯·卡门环形山
冯·布劳恩环形山
冯·德·帕伦环形山
冯·拜耳环形山
冯·施陶德-克劳森定理
冯·施陶德定理
冯·曼戈尔特
冯·曼戈尔特函数
冯·科塔山脊
冯·米泽斯
冯·米泽斯分布
冯·米泽斯定理
冯·蔡佩尔环形山
冯·诺伊曼
冯·诺伊曼不等式
冯·诺伊曼代数
冯·诺伊曼代数的因子
冯·诺伊曼代数的迹
冯·诺伊曼判据
冯·诺伊曼-哈尔莫斯定理
冯·诺伊曼唯一性定理
冯·诺伊曼密度定理
冯·诺伊曼序数
冯·诺伊曼条件
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/8/11 6:19:26