Formalized MathematicsScience journal on Mathematics, Computer and information sciences, Electrical engineering, electronic engineering, information engineering, Civil engineering, Earth and related environmental sciences
Statisticstotal articles: 96
0
0
0
Academic publisher
Walter de Gruyter GmbH
Acronym
Formalized Mathematics
ISSN
Online: 1898-9934