Hispanopedia Wiki
Articulo de referencia

Revista de razonamiento automatizado

La revista Journal of Automated Reasoning fue fundada en 1983 por Larry Wos , quien fue su editor jefe hasta 1992. [ 1 ] Cubre investigaciones y avances en razonamiento automati...

Hispanopedia WikiContenido en espanolLectura gratuita

La revista Journal of Automated Reasoning fue fundada en 1983 por Larry Wos , quien fue su editor jefe hasta 1992. [ 1 ] Cubre investigaciones y avances en razonamiento automatizado , verificación mecánica de teoremas y otras deducciones en lógica clásica y no clásica . [ 2 ]

La revista es publicada por Springer Science+Business Media . Desde 2021, la editora en jefe es Jasmin Blanchette , profesora de informática teórica en la Universidad Ludwig-Maximilians de Múnich . El factor de impacto de la revista en 2019 es de 1,431 y está indexada por varios servicios de indexación científica, incluidos el Science Citation Index Expanded y Scopus . [ 3 ]

Referencias

  1. ↑ Robert Veroff (1997), Razonamiento automatizado y sus aplicaciones , MIT Press, ISBN 9780262220552
  2. ↑ Allen B. Tucker (28 de junio de 2004), Manual de informática , CRC Press, ISBN 9780203494455
  3. ↑ "Revista de razonamiento automatizado" . Springer . Consultado el 11 de enero de 2021 .
  • Sitio web oficial