Login / Signup

Characteristics of de Bruijn's early proof checker Automath.

Herman GeuversRob Nederpelt
Published in: Fundam. Informaticae (2022)
Keyphrases
  • multi agent
  • data sets
  • neural network
  • real world
  • machine learning
  • data structure
  • special case