跳到主要内容
易
易思词典
IsDict
Kripke
释义与例句
name
1.
A surname.
相关短语
Kripke frame
Kripke model
Kripke frames
Kripke models