Login / Signup
Machine-Checked Categorical Diagrammatic Reasoning.
Benoît Guillemet
Assia Mahboubi
Matthieu Piquerez
Published in:
FSCD (2024)
Keyphrases
</>
diagrammatic reasoning
symbolic reasoning
structural analysis
genetic programming
neural network
np hard
cognitive processes