Journal of Formalized Reasoning
The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verifications. It is maintained by AlmaDL, the digital library of the University of Bologna.
| Discipline | Mathematical formalization |
|---|---|
| Language | English |
| Edited by | Andrea Asperti |
| Publication details | |
| History | 2008–present |
| Publisher | University of Bologna (Italy) |
| Frequency | Biannual |
| Yes | |
| Standard abbreviations | |
| ISO 4 | J. Formaliz. Reason. |
| Indexing | |
| ISSN | 1972-5787 |
| OCLC no. | 456198191 |
| Links | |
Abstracting and indexing
The journal is abstracted and indexed in Scopus, MathSciNet, and Zentralblatt MATH.
gollark: They also have this graph of % in work/study, which is oddly different to the earnings one.
gollark: Possibly. As far as I know medicine courses also are pretty small in size and significantly more government-regulated/managed than other ones.
gollark: Well, sure, the maximum is higher, median is about the same.
gollark: Also, economics isn't MUCH higher, these are box plots.
gollark: https://assets.publishing.service.gov.uk/government/uploads/system/uploads/attachment_data/file/718225/SFR_18_2017_LEO_mainText.pdfHere is some slightly older data.
External links
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.