dynamic logic 动态逻辑
人工智能 人工智能逻辑 释文 dynamic logic 动态逻辑
- one sided test
- one-sided test
- one-sided upper continuous
- one side test
- one-side test
- one-side theatre
- one-skeleton
- one-stage grinding-classification circuit
- One Step Away
- one-step constructed dam
- One Step Forward, Two Steps Back
- one step growth
- one step method
- one-step method
- one step mining
- one stream production
- ONET
- one tailed test
- one-tailed test
- one-tangent node
- one-tape quantum Turing machine
- one-tape Turing machine
- one-term relation
- One Thousand Eight Hundred Dans
- one thousand genome plan