axiomatic semantics

以上内容是 axiomatic semantics 的中文翻译，希望对您有帮助。

相关翻译

• Armstrong axiomatic Arms-trong
• axiomatical
• axiomatic system
• axiomatic semantics
• axiomatic model
• axiomatically
• axiomatic
• axiomatic theory
• axiomatic semantics approach
• axiomatic specification
• axiomatic proof rule
• axiomatic approach