Login / Signup

Four Decades of Mizar - Foreword.

Adam GrabowskiArtur KornilowiczAdam Naumowicz
Published in: J. Autom. Reason. (2015)
Keyphrases
  • computer assisted
  • special issue
  • pattern recognition