Kripke models
名词 n.
英文释义
名词 n.
- plural of Kripke model
0 次浏览
数据来源: Wiktionary