El Journal of Automated Reasoning fue establecido en 1983 por Larry Wos , quien fue su editor en jefe hasta 1992. [1] Cubre la investigación y los avances en el razonamiento automatizado : verificación mecánica de teoremas y otras deducciones en lógica clásica y no clásica . [2]
Disciplina | Ciencias de la Computación |
---|---|
Idioma | inglés |
Editado por | Jazmín blanchette |
Detalles de la publicación | |
Historia | 1983-presente |
Editor | |
Frecuencia | 8 / año |
Factor de impacto | 1.431 (2019) |
Abreviaturas estándarISO 4 ( alt ) · Bluebook ( alt1 · alt2 ) NLM ( alt ) · MathSciNet ( alt ) | |
ISO 4 | J. Autom. Razón. |
MathSciNet | J. Automat. Razón. |
IndexaciónCODEN · JSTOR ( alt ) · LCCN ( alt ) MIAR · NLM ( alt ) · Scopus | |
CODEN | JAREEW |
ISSN | 0168-7433 (imprimir) 1573-0670 (web) |
LCCN | sf93093541 |
OCLC no. | 263592661 |
Enlaces | |
La revista es publicada por Springer Science + Business Media . A partir de 2021, el editor en jefe es Jasmin Blanchette. El factor de impacto de 2019 de la revista es 1.431 y está indexada por varios servicios de indexación científica, incluidos Science Citation Index Expanded y Scopus . [3]
Referencias
- ^ Robert Veroff, razonamiento automatizado y sus aplicaciones
- ^ Allen B. Tucker, manual de ciencias de la computación
- ^ "Revista de razonamiento automatizado" . Springer . Consultado el 11 de enero de 2021 .