New generation computing. 1984;2(1):59-77. doi: 10.1007/bf03037052 Q22.82025

Foundation of logic programming based on inductive definition

基于归纳定义的逻辑程序设计基础

DOI: 10.1007/bf03037052

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！