Журнал формализованных рассуждений - Википедия - Journal of Formalized Reasoning
| Дисциплина | Математическая формализация |
|---|---|
| Язык | английский |
| Отредактировано к | Андреа Асперти |
| Детали публикации | |
| История | 2008 – настоящее время |
| Издатель | Болонский университет (Италия) |
| Частота | Раз в два года |
| да | |
| Стандартные сокращения | |
| ISO 4 | J. Formaliz. Причина. |
| Индексирование | |
| ISSN | 1972-5787 |
| OCLC нет. | 456198191 |
| Ссылки | |
)В Журнал формализованных рассуждений это рецензируемый открытый доступ академический журнал создана в 2009 году. Издает формализация усилия в любой сфере, в том числе классическая математика, конструктивная математика, формальный алгоритмы, и программы проверки. Он поддерживается AlmaDL, то цифровая библиотека из Болонский университет.
Абстрагирование и индексация
Журнал реферируется и индексируется в Scopus, MathSciNet, и Zentralblatt MATH.