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