Browse

You are looking at 1 - 1 of 1 items for :

  • Type: Journal x
  • Computer Sciences x
  • Numerical and Computational Mathematics x
Clear All Modify Search
Open access

Formalized Mathematics

(a computer assisted approach)

Editor-in-chief Roman Matuszewski