Hispanopedia Wiki
Articulo de referencia

Métodos lógicos en informática

Logical Methods in Computer Science (LMCS) es una revista científica de acceso abierto con revisión por pares que abarca la informática teórica y la lógica aplicada . Abrió el p...

Hispanopedia WikiContenido en espanolLectura gratuita

Logical Methods in Computer Science (LMCS) es una revista científica de acceso abierto con revisión por pares que abarca la informática teórica y la lógica aplicada . Abrió el plazo de presentación de artículos el 1 de septiembre de 2004. [ 2 ] El editor jefe es Stefan Milius ( Friedrich-Alexander Universität Erlangen-Nürnberg ).

Historia

La revista fue publicada inicialmente por la Federación Internacional de Lógica Computacional y luego por una organización sin fines de lucro dedicada. En 2017 se trasladó a la plataforma Episciences. [ 3 ] La primera editora en jefe fue Dana Scott . En su primer año, la revista recibió 75 artículos. [ 4 ]

Resumen e indexación

La revista está resumida e indexada en Current Contents /Engineering, Computing & Technology, [ 5 ] Mathematical Reviews , Science Citation Index Expanded , [ 5 ] Scopus , [ 6 ] y Zentralblatt MATH . [ 7 ] Según Journal Citation Reports , la revista tiene un factor de impacto de 0,661 en 2016. [ 8 ]

Referencias

  1. ^ "Métodos lógicos en informática - Derechos de autor" . 1 de mayo de 2018. Archivado del original el 1 de mayo de 2018. Consultado el 18 de enero de 2022 .
  2. ^ "Gmane -- Correo a Noticias y de Vuelta" . 29 de noviembre de 2005. Archivado del original el 29 de noviembre de 2005. Consultado el 18 de enero de 2022 .
  3. ^ "Métodos lógicos en informática - Inicio" . 22 de febrero de 2017. Archivado del original el 22 de febrero de 2017. Consultado el 18 de enero de 2022 .
  4. ^ rzach (25-10-2005). "Métodos lógicos en informática" . Richard Zach . Recuperado el 18-01-2022 .
  5. ^ a b "Lista maestra de revistas" . Propiedad intelectual y ciencia . Clarivate Analytics . Recuperado el 10 de abril de 2018 .
  6. ^ "Detalles de la fuente: Métodos lógicos en informática" . Vista previa de Scopus . Elsevier . Consultado el 10 de abril de 2018 .
  7. ^ "Base de datos de publicaciones seriadas" . Zentralblatt MATH . Springer Science+Business Media . Archivado del original el 7 de noviembre de 2017. Consultado el 10 de abril de 2018 .
  8. ^ "Métodos lógicos en informática". Journal Citation Reports 2016. Web of Science (edición científica). Clarivate Analytics . 2017.
  • Sitio web oficial

  • v
  • t
  • mi
Obtenido de " https://en.wikipedia.org/w/index.php?title=Logical_Methods_in_Computer_Science&oldid=1353233016 "
Lecturas relacionadas
6 articulos
Revista científicaRevista científicaEn el ámbito académico , una revista científica es una publicación periódica diseñada para promover el progreso de la ciencia mediante la difusión ...Open accessOpen accessOpen access logo, originally designed by Public Library of Science A PhD Comics introduction to open access Open access ( OA ) is a set of principl...Revisión por paresRevisión por paresLa revisión por pares es la evaluación del trabajo por parte de una o más personas con competencias similares a las de los productores del trabajo ...Informática teóricaLa informática teórica es un subcampo de la informática y las matemáticas que se centra en los fundamentos abstractos y matemáticos de la computaci...Cartel de 1901LógicaLa lógica estudia formas válidas de inferencia como el modus ponens . La lógica es el estudio del razonamiento correcto . Incluye tanto la lógica f...Editor-in-chiefAn editor-in-chief ( EIC ), also known as lead editor or chief editor , is a publication's editorial leader who has final responsibility for its op...