理学 【基本概念】 释 horn clause 霍恩子句 一种至多只含有一个正文字的短句。
Horn clause 霍恩子句
人工智能 自动推理 释文 Horn clause 霍恩子句
- K. M. Peterson
- K. M. Peterson (1828—1881)
- KMPM
- KMP算法
- KMS
- KMS condition
- KMS state
- KMS条件
- KMS状态
- kMT
- KMT-censored textbooks
- KMT Reorganization Group
- Knack of Tang Poems
- knapsack algorithm
- knapsack cryptographic algorithm
- knapsack cryptosystem
- knapsack high-range sprayer-duster
- knapsack problem
- knapsack public key system
- knapsack sprayer-duster
- k-nary graph
- k-nary tree
- Knaster
- Knaster continuum
- kneader