Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 29 (2021): Issue 2 (July 2021)

Download Cover

Search

All Volumes and Issues in this Journal

eISSN:
1898-9934
ISSN:
1426-2630
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Computer Sciences, other, Mathematics, General Mathematics