Published/Hosted by Walter de Gruyter GmbH & Co. KG.
ISSN (printed): 1426-2630. ISSN (electronic): 1898-9934.
Pioneering Journal in the field of formalized and mechanically checked mathematics. Excellent articles on latest research in formal methods and computer-checked mathematics. Full-length original research articles in English.
- Further information
- Category Link