Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Introduction;Computational Modelling of Robot Personhood and Relationality;2023-10-17
2. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17
3. A Guide for Manual Construction of Difference-List Procedures;Lecture Notes in Computer Science;2009
4. Bunched Logic Programming;Automated Reasoning;2001