Conference articles
- Beidi Li, Mehul Bhatt, and Carl Schultz. lambdaProlog (QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper). In 14th International Conference on Spatial Information Theory (COSIT 2019), 2019.
BACK TO INDEX