... 谓词演算中的原子公式 atomic formula in predicate calculus 谓词转换器 predicate converter 温（切斯特）盘驱动器 Winchester disk drive ...
基于12个网页-相关网页
谓词转换器的语义 semantics of predicate transformers
Predicate transformer semantic is an important content in the axiomal semantics.
在程序的公理语义学中，一个重要内容就是谓词转换器语义。
参考来源 - 稳定模糊谓词与谓词转换器·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐