人工智能 人工智能逻辑 释文 belief logic, doxastic logic 信念逻辑 信息安全 信息系统安全防护技术 释文 belief logic 相信逻辑
- formal programming language
- formal proof
- formal property
- formal publication
- formal reasoning
- formal representation
- formal representation of believe
- formal representation of event
- formal representation of language meaning
- formal representation of time
- formal rule of law
- formal scheme
- Formal Semantics
- formal semantics
- formal series
- formal smoothness
- formal sociology
- formal solution
- formal specification
- formal spectrum
- formal stability
- formal stratigraphic unit
- formal sum
- formal synthesis
- formal system