Genamics JournalSeek
Formalized Mathematics
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
|