谓语逻辑相关硕士博士期刊学术论文

谓语逻辑相关论文

介绍一种形式化程序推导方法，该法使用Ｈｏａｒｅ公式（Ｐ／Ｐ／Ｑ），通过Ｐｒｏ图图解前谓词Ｐ和后谓词Ｑ，并按Ｐｒｏ图激活过程逐步写出过程式语言的源程序。......

期刊

谓语逻辑程序推导程序设计 Pro图源程序