Who publishes Journal of Automated Reasoning?

Journal of Automated Reasoning is published by Springer.

What is the ISSN of Journal of Automated Reasoning?

The ISSN of Journal of Automated Reasoning is 0168-7433.

What is the impact factor of Journal of Automated Reasoning?

The reported impact factor of Journal of Automated Reasoning is 0.8. Impact factor values are reproduced from publishers and may lag the latest JCR release.

What is the CCF ranking of Journal of Automated Reasoning?

Journal of Automated Reasoning is ranked CCF B in the China Computer Federation journal catalogue.

Información de la Revista

Journal of Automated Reasoning

Por favor Iniciar sesión para ver el sitio web de la revista

Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.

Registrarse Iniciar sesión

Obtener estos datos por API

Las búsquedas y las listas de rankings no necesitan credenciales; el detalle completo de esta página requiere una clave de API gratuita. Consulta la guía para desarrolladores.

Factor de Impacto:

0.8

Editor:

Springer

ISSN:

0168-7433

Vistas:

25753

Seguidores:

4

No te pierdas ninguna convocatoria de Journal of Automated Reasoning

Crea una cuenta gratuita y te avisaremos por correo cada vez que esta revista publique una nueva convocatoria o un número especial.

Avísame de nuevas convocatorias ¿Ya tienes una cuenta? Iniciar sesión

Cuenta gratuita. Como máximo un correo al día, y cada correo incluye un enlace de baja con un solo clic.

Solicitud de Artículos

Journal of Automated Reasoning is an academic journal published by Springer. (ISSN 0168-7433, impact factor 0.8, CCF B).

Aims and scope The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of interest are connected to computer science, mathematics, and philosophy. They include the development and use of automatic theorem provers, formal proof assistants, and related software tools such as model checkers; the design and study of the underlying logics and the theoretical properties of the proof systems used for discovering and expressing formal proofs; and the use of artificial intelligence techniques to guide the search for a proof. Scientific and industrial applications are invaluable as case studies. They may concern the verification of hardware or software, where they can be used to establish correctness or security properties, or the formalization of mathematics, among many areas. Successful verification efforts yield lessons on how to use the tools better and how to enhance them. They also point to a future in which formal verification will be routine for critical computing infrastructure and for research in mathematics, computer science, and other disciplines that could benefit from the convenience and rigor of automated reasoning.

Última actualización por Dou Sun el 2026-05-10

Revistas Relacionadas

Nombre Completo	Factor de Impacto	Editor	ISSN
International Journal of Information Security	3.2	Springer	1615-5262
International Journal of Automation and Computing		Springer	1476-8186
Journal of Cloud Computing		Springer	2192-113X
Journal of Big Data	6.4	Springer	2196-1115
Journal of Computational Electronics	2.5	Springer	1569-8025
Journal of Interaction Science		Springer	2194-0827
Journal of Signal Processing Systems	1.8	Springer	1939-8018
Journal of Medical Systems	5.7	Springer	0148-5598
Journal of Computer and Systems Sciences International	0.500	Springer	1064-2307
Journal of Intelligent Manufacturing	7.4	Springer	0956-5515

Conferencias Relacionadas

CCF	ICORE	Abreviación	Nombre Completo	Entrega	Notificación	Fecha de conferencia
	A	IJCAR	International Joint Conference on Automated Reasoning	2026-02-06	2026-04-14	2026-07-26
	B	TABLEAUX	International Conference on Automated Reasoning with Analytic Tableaux and Related Methods	2017-04-28	2017-06-05	2017-09-25
A	A*	ASE	International Conference on Automated Software Engineering	2026-03-26	2026-05-25	2026-10-12
	C	TIME	International Symposium on Temporal Representation and Reasoning	2016-06-20	2016-07-25	2016-10-17
	C	IDEAL	International Conference on Intelligent Data Engineering and Automated Learning	2026-07-24	2026-09-01	2026-11-19
	C	PATAT	Conference on the Practice and Theory of Automated Timetabling	2026-04-01	2026-05-15	2026-08-25
B	A	CADE	International Conference on Automated Deduction	2017-02-11	2017-04-22	2017-08-06
B	A*	KR	International Conference on the Principles of Knowledge Representation and Reasoning	2026-02-08	2026-04-13	2026-07-20
C	B	ATVA	International Symposium on Automated Technology for Verification and Analysis	2026-05-19	2026-07-23	2026-12-01
		IJCLR	International Joint Conference on Learning & Reasoning	2026-05-31	2026-07-20	2026-09-16

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario