David S. Warren 人物
相关论文查看全部 (2)
Tabled evaluation with delaying for general logic programs
1996Journal of the ACM引用 411
HiLog: A foundation for higher-order logic programming
1993The Journal of Logic Programming引用 335
相关公司查看全部 (1)
Southern Methodist UniversityUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据