"A Prolog application for reasoning on maths puzzles with diagrams."

Riccardo Buscaroli et al. (2023)

Details and statistics

DOI: 10.1080/0952813X.2022.2062456

access: open

type: Journal Article

metadata version: 2023-11-01

a service of  Schloss Dagstuhl - Leibniz Center for Informatics