Formalized Mathematics

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

Volumes