Žurnál formalizovaného uvažování - Journal of Formalized Reasoning - Wikipedia
| Disciplína | Matematická formalizace |
|---|---|
| Jazyk | Angličtina |
| Upraveno podle | Andrea Asperti |
| Podrobnosti o publikaci | |
| Dějiny | 2008 – současnost |
| Vydavatel | Boloňská univerzita (Itálie) |
| Frekvence | Pololetní |
| Ano | |
| Standardní zkratky | |
| ISO 4 | J. Formalizace. Důvod. |
| Indexování | |
| ISSN | 1972-5787 |
| OCLC Ne. | 456198191 |
| Odkazy | |
)The Žurnál formalizovaného uvažování je recenzováno otevřený přístup akademický časopis založena v roce 2009. Publikuje formalizace úsilí v jakékoli oblasti, včetně klasická matematika, konstruktivní matematika, formální algoritmy, a ověření programu. Udržuje ji AlmaDL, digitální knihovna z Boloňská univerzita.
Abstrahování a indexování
Časopis je abstrahován a indexován Scopus, MathSciNet, a Zentralblatt MATH.