@文章{Pym1994AUP,title={线性逻辑规划的统一证明理论研究},author={David J.Pym和James Harland},日志={J.Log.Comput.},年份={1994年},体积={4},页数={175-207},网址={https://api.semanticscholar.org/CorpusID:10221606}}
显示0篇相关论文中的1至3篇