Journal of automated reasoning. 1988;4(2):117-172. doi: 10.1007/bf00244392 Q40.72025
The addition of bounded quantification and partial functions to a computational logic and its theorem prover
在计算逻辑及其定理证明器中引入有界量化和部分函数
DOI: 10.1007/bf00244392
摘要 查看摘要
