Login / Signup

Machine-Checked Categorical Diagrammatic Reasoning.

Benoît GuillemetAssia MahboubiMatthieu Piquerez
Published in: FSCD (2024)
Keyphrases
  • diagrammatic reasoning
  • symbolic reasoning
  • structural analysis
  • genetic programming
  • neural network
  • np hard
  • cognitive processes