Formalized Mathematics

  • Languages: English
  • Publication dates: 2006-2016
  • Issue count: 44
  • Volume count: 13
  • Number of articles: 336
  • ISSN: 1426-2630

Volumes