Formalized Mathematics

  • Languages: English
  • Publication dates: 2006-2017
  • Issue count: 47
  • Volume count: 14
  • Number of articles: 357
  • ISSN: 1426-2630

Volumes