Constraints in computational logics: theory and applicationsHubert Comon,Claude Marché,Ralf Treinen,Gerhard Goos,Juris Hartmanis,Jan van LeeuwenConstraints in computational logics: theory and applications(2001)引用 24|浏览21暂无评分关键词computational logicAI 理解论文溯源树样例生成溯源树,研究论文发展脉络