Formalized Mathematics

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

Volumes