Journal of Formalized Reasoning
Journal of Formalized Reasoning | |
---|---|
Stato | ![]() |
Lingua | inglese |
Periodicità | annuale |
Genere | sistemi formali |
Formato | |
Fondazione | 2008 |
Editore | Università di Bologna |
Diffusione cartacea | on-line (2008) |
Direttore | Andrea Asperti |
ISSN | 1972-5787 (WC · ACNP) |
Sito web | jfr.unibo.it/ e jfr.cib.unibo.it |
Modifica dati su Wikidata · Manuale |
Journal of Formalized Reasoning (JFR) è una rivista peer-reviewed che pubblica articoli riguardanti la formalizzazione in ogni area della matematica, e toccano ambiti come la matematica costruttiva, gli algoritmi.
JFR è nato nel 2008, ed è mantenuto da AlmaDL, biblioteca digitale dell'Università di Bologna.
Comitato editoriale
|
|
Collegamenti esterni
- (EN) Sito ufficiale, su jfr.unibo.it.
- Sito ufficiale, su jfr.cib.unibo.it.
- (EN) Journal of Formalized Reasoning, su Directory of Open Access Journals, Infrastructure Services for Open Access.
- Journal of Formalized Reasoning su Mathscinet
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Newspaper_Cover.svg/25px-Newspaper_Cover.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/77/Computer_n_screen.svg/24px-Computer_n_screen.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)