Journal of automated reasoning. 1988;4(1):29-68. doi: 10.1007/bf00244512 Q40.72025
Designing deductive databases
设计演绎数据库
DOI: 10.1007/bf00244512
摘要 查看摘要
Journal of automated reasoning. 1988;4(1):29-68. doi: 10.1007/bf00244512 Q40.72025
DOI: 10.1007/bf00244512
摘要 查看摘要