Podrobnosti e-časopisu

Název: Formalized Mathematics ISSN: 1426-2630 LCCN: 2005210714 Recenzováno: Ano   Dostupnost: EBSCOhost Academic Search Ultimate   Dostupný od 2013/10/01 Dostupné pro: NTK, ÚOCHB

Kategorie:
Mathematical Sciences: Applied Mathematics