Login / Signup

A New Implementation of Automath.

Freek Wiedijk
Published in: J. Autom. Reason. (2002)
Keyphrases
  • user interface
  • efficient implementation
  • neural network
  • machine learning
  • cooperative