Jurnalul de raționament formalizat
Salt la navigare Salt la căutare
| Jurnalul de raționament formalizat | |
|---|---|
| Stat |  Italia |
| Limbă | Engleză |
| Periodicitate | anual |
| Tip | sisteme formale |
| Format | |
| fundație | 2008 |
| editor | Universitatea din Bologna |
| Circulația hârtiei | online (2008) |
| Director | Andrea Asperti |
| ISSN | 1972-5787 |
| Site-ul web | jfr.unibo.it/ și jfr.cib.unibo.it |
Journal of Formalized Reasoning (JFR) este un jurnal evaluat de colegi care publică articole privind formalizarea în fiecare domeniu al matematicii și atinge domenii precum matematica constructivă , algoritmi .
JFR s-a născut în 2008 și este întreținut de AlmaDL , biblioteca digitală a Universității din Bologna .
Comitetul editorial
|
|
linkuri externe
- ( RO ) Site oficial , pe jfr.unibo.it .
- Site-ul oficial , pe jfr.cib.unibo.it .
- ( EN ) Journal of Formalized Reasoning , în Directory of Open Access Journals , Infrastructure Services for Open Access.
- Journal of Formalized Reasoning pe Mathscinet
