Logic Programming Operational Semantics and Proof Theory (Distinguished Disserta.zip

大小:674.27 KB

只需: 10 个论坛币  马上下载

Logic Programming Operational Semantics and Proof Theory

本附件包括：

• Logic Programming Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science)James H. Andrews.djvu