Login / Signup

Formal Mathematics for Mathematicians - Foreward to the Special Issue.

Andrzej TrybulecArtur KornilowiczAdam NaumowiczKrystyna Trybulec Kuperberg
Published in: J. Autom. Reason. (2013)
Keyphrases
  • special issue
  • international journal
  • ai edam
  • ecml pkdd
  • computer scientists
  • applied intelligence
  • computer science
  • formal model
  • special section
  • information technology
  • applied mathematics
  • computer algebra