Correo interno
solo en sección actual
Entrar
Menú
Inicio
Acerca del IM
Misión y visión
Organización Interna
Directorio
Organigrama
Dirección
Consejo Interno
Secretaría Académica
Secretaría Técnica
Secretaría Administrativa
Comisiones de trabajo
Secciones de Apoyo
Manual de organización
Historia
Situación actual
Distinciones
Directores
Noticias
Avisos
Ingresos y visitantes
Comunidad
Investigadores
CU
Cuernavaca
Juriquilla
Oaxaca
Jubilados
Cátedras CONACyT
Oaxaca
Juriquilla
Cuernavaca
PosDoc
CU
Cuernavaca
Juriquilla
Oaxaca
Técnicos Académicos
CU
Cuernavaca
Juriquilla
Jubilados
Becarios
CU
Cuernavaca
Juriquilla
Oaxaca
Posiciones abiertas
Investigación
Líneas y Grupos
Proyectos
RED
RED 2017
RED 2016
RED 2015
FORDECYT
Actividades académicas
Coloquios
Coloquio de Ciudad Universitaria
Coloquio de Cuernavaca
Coloquio del Instituto de Matemáticas en Oaxaca
Coloquio Queretano
Otros coloquios
Seminarios en C.U.
Congresos, conferencias, seminarios y encuentros
2024
2023
anteriores a 2023
Seminario de Probabilidad y Procesos Estocásticos
Seminario de Probabilidad y Procesos Estocásticos
Escuelas
2024
2023
anteriores a 2022
Cursos y talleres
2024
2023
anteriores a 2022
Veranos de Investigación
Agenda
Docencia
Licenciatura
Posgrado
Apoyo a la docencia
Divulgación
Proyectos y actividades
Servicios internos
Catálogos
Horario de salones
Cómputo
Comunicación
Fondos de pantalla
Publicaciones
Para Becarios
Lineamientos Becas de Lugar
Enlaces
Servicios Internos
Solicitudes
Informática Académica
Bibliotecas
Biblioteca Sotero Prieto, CU
Biblioteca Solomon Lefschetz, Cuernavaca
CInIG-IM
Actividades CInIG
Usted está aquí:
Inicio
/
catalogos
/
Catalogo de Revistas
/
Journal of Automated Reasoning
Info
Journal of Automated Reasoning
Ir a
Catalogo de Revistas
Short name
:
J. Automat. Reason.
ISSN impreso
:
0168-7433
Editoral
:
Springer, Dordrecht.
Artículos asociados:
archivado en:
Revista General
Correo interno