Browse

You are looking at 41 - 43 of 43 items for :

  • Type: Journal x
  • Mathematics x
Clear All Modify Search
Open access

Formalized Mathematics

(a computer assisted approach)

Editor-in-chief Roman Matuszewski

Open access

International Journal of Applied Mathematics and Computer Science

Journal of the University of Zielona Góra