El Diario de Formalized Razonamiento es un revisados por el acceso abierto revista académica establecida en 2009. Se publica formalización esfuerzos en cualquier área, incluyendo la matemática clásica , las matemáticas constructivas , formales algoritmos y verificaciones del programa . Lo mantiene AlmaDL , la biblioteca digital de la Universidad de Bolonia .
Disciplina | Formalización matemática |
---|---|
Idioma | inglés |
Editado por | Andrea Asperti |
Detalles de la publicación | |
Historia | 2008-presente |
Editor | Universidad de Bolonia (Italia) |
Frecuencia | Semestral |
Acceso abierto | sí |
Abreviaturas estándarISO 4 ( alt ) · Bluebook ( alt1 · alt2 ) NLM ( alt ) · MathSciNet ( alt ) | |
ISO 4 | J. Formaliz. Razón. |
IndexaciónCODEN · JSTOR ( alt ) · LCCN ( alt ) MIAR · NLM ( alt ) · Scopus | |
ISSN | 1972-5787 |
OCLC no. | 456198191 |
Enlaces | |
Resumen e indexación
La revista está resumida e indexada en Scopus , MathSciNet y Zentralblatt MATH .