Key-title Formalized Mathematics (Białystok. Online)
Formalized Mathematics (Białystok. Online)
Title proper: Formalized Mathematics.
Country: Poland
Medium: Online
Record information
Last modification date: 06/02/2021
Type of record: Confirmed
ISSN Center responsible of the record: ISSN National Centre for Poland
Please contact this ISSN Centre by clicking on it for any request or query concerning the publication