정형화된 추리학 저널
Journal of Formalized Reasoning| 규율 | 수학적 공식화 |
|---|---|
| 언어 | 영어 |
| 편집자 | 안드레아 아스페르티 |
| 발행내역 | |
| 역사 | 2008-현재 |
| 출판사. | 볼로냐 대학교 (이탈리아) |
| 빈도 | 쌍뉴얼 |
| 네 | |
| 표준약어 | |
| ISO 4 | J. 포르말리즈.이성. |
| 인덱싱 | |
| ISSN | 1972-5787 |
| OCLC no. | 456198191 |
| 링크 | |
)공식화된 추론 저널은 2009년에 설립된 동료 검토의 개방형 접속 학술 저널이다.고전 수학, 건설 수학, 형식 알고리즘, 프로그램 검증 등 어느 분야에서나 형식화 노력을 공표한다.볼로냐 대학의 디지털 도서관인 AlmaDL이 관리하고 있다.
추상화 및 색인화
저널은 Scopus, MathSciNet, Zentralblat MATH에서 추상화 및 색인화된다.
