Login / Signup
Characteristics of de Bruijn's early proof checker Automath.
Herman Geuvers
Rob Nederpelt
Published in:
Fundam. Informaticae (2022)
Keyphrases
</>
multi agent
data sets
neural network
real world
machine learning
data structure
special case