理论计算机科学 程序理论 释文 weakest precondition 最弱前置条件
- conjugation fraction
- conjugation mapping
- conjugation molecule
- conjugation move
- conjugation operator
- conjugation problem
- conjugation tube
- conjugative transfer
- conjugon
- conjunct
- conjunction
- conjunction in ecliptical longitude
- conjunction in right ascension
- conjunction period
- conjunctiva
- conjunctive
- conjunctive-disjunctive normal form
- conjunctive form
- conjunctive mapping
- conjunctive matrix
- conjunctive normal form
- conjunctive probability
- conjunctive proposition
- conjunctive query
- conjunctive term