×

zbMATH — the first resource for mathematics

Journal of Automated Reasoning

Short Title: J. Autom. Reasoning
Publisher: Springer Netherlands, Dordrecht
ISSN: 0168-7433; 1573-0670/e
Online: http://link.springer.com/journal/volumesAndIssues/10817
Comments: Indexed cover-to-cover
Documents indexed: 1,008 Publications (since 1985)
References indexed: 676 Publications with 21,942 References
all top 5

Latest Issues

64, No. 4 (2020)
64, No. 3 (2020)
64, No. 2 (2020)
64, No. 1 (2020)
63, No. 4 (2019)
63, No. 3 (2019)
63, No. 2 (2019)
63, No. 1 (2019)
62, No. 4 (2019)
62, No. 3 (2019)
62, No. 2 (2019)
62, No. 1 (2019)
61, No. 1-4 (2018)
60, No. 4 (2018)
60, No. 3 (2018)
60, No. 2 (2018)
60, No. 1 (2018)
59, No. 4 (2017)
59, No. 3 (2017)
59, No. 2 (2017)
59, No. 1 (2017)
58, No. 4 (2017)
58, No. 3 (2017)
58, No. 2 (2017)
58, No. 1 (2017)
57, No. 4 (2016)
57, No. 3 (2016)
57, No. 2 (2016)
57, No. 1 (2016)
56, No. 4 (2016)
56, No. 3 (2016)
56, No. 2 (2016)
56, No. 1 (2016)
55, No. 4 (2015)
55, No. 3 (2015)
55, No. 2 (2015)
55, No. 1 (2015)
54, No. 4 (2015)
54, No. 3 (2015)
54, No. 2 (2015)
54, No. 1 (2015)
53, No. 4 (2014)
53, No. 3 (2014)
53, No. 2 (2014)
53, No. 1 (2014)
52, No. 4 (2014)
52, No. 3 (2014)
52, No. 2 (2014)
52, No. 1 (2014)
51, No. 4 (2013)
51, No. 3 (2013)
51, No. 2 (2013)
51, No. 1 (2013)
50, No. 4 (2013)
50, No. 3 (2013)
50, No. 2 (2013)
50, No. 1 (2013)
49, No. 4 (2012)
49, No. 3 (2012)
49, No. 2 (2012)
49, No. 1 (2012)
48, No. 4 (2012)
48, No. 3 (2012)
48, No. 2 (2012)
48, No. 1 (2012)
47, No. 4 (2011)
47, No. 3 (2011)
47, No. 2 (2011)
47, No. 1 (2011)
46, No. 3-4 (2011)
46, No. 2 (2011)
46, No. 1 (2011)
45, No. 4 (2010)
45, No. 3 (2010)
45, No. 2 (2010)
45, No. 1 (2010)
44, No. 4 (2010)
44, No. 3 (2010)
44, No. 1-2 (2010)
43, No. 4 (2009)
43, No. 3 (2009)
43, No. 2 (2009)
43, No. 1 (2009)
42, No. 2-4 (2009)
42, No. 1 (2009)
41, No. 3-4 (2008)
41, No. 2 (2008)
41, No. 1 (2008)
40, No. 4 (2008)
40, No. 2-3 (2008)
40, No. 1 (2008)
39, No. 4 (2007)
39, No. 3 (2007)
39, No. 2 (2007)
39, No. 1 (2007)
38, No. 4 (2007)
38, No. 1-3 (2007)
37, No. 4 (2006)
37, No. 3 (2006)
37, No. 1-2 (2006)
...and 106 more Volumes
all top 5

Authors

38 Wos, Larry
19 Paulson, Lawrence Charles
12 Blanchette, Jasmin Christian
11 Bundy, Alan
11 Chou, Shangching
11 Giesl, Jürgen
11 McCune, William W.
11 Sutcliffe, Geoff
10 Nipkow, Tobias
10 Peltier, Nicolas
10 Plaisted, David Alan
10 Urban, Josef
9 Gao, Xiaoshan
8 Kaufmann, Matt
8 Moore, J Strother
8 Veroff, Robert
7 Bonacina, Maria Paola
7 Cantone, Domenico
7 Kapur, Deepak
7 Leroy, Xavier
7 Schneider-Kamp, Peter
6 Baumgartner, Peter
6 Blazy, Sandrine
6 Felty, Amy P.
6 Kaliszyk, Cezary
6 Lammich, Peter
6 Middeldorp, Aart
6 Policriti, Alberto
6 Popescu, Andrei
6 Rusinowitch, Michaël
6 Stickel, Mark E.
6 Walsh, Toby
6 Yahya, Adnan H.
6 Zhang, Hantao
5 de Moura, Leonardo
5 Echenim, Mnacho
5 Hähnle, Reiner
5 Henschen, Lawrence J.
5 Horrocks, Ian
5 Johnson, Charles A.
5 Kazakov, Yevgeny
5 Kunen, Kenneth
5 Miller, Dale Allen
5 Narendran, Paliath
5 Norrish, Michael
5 Ohlbach, Hans Jürgen
5 Schmidt, Renate A.
5 Smolka, Gert
5 Subrahmanian, V. S.
5 Thiemann, René
5 Weidenbach, Christoph
4 Andrews, Peter B.
4 Avigad, Jeremy
4 Basin, David A.
4 Biere, Armin
4 Bledsoe, Woodrow W.
4 Böhme, Sascha
4 Boyer, Robert S.
4 Cialdea Mayer, Marta
4 Fiorino, Guido
4 Fitelson, Branden
4 Gamboa, Ruben A.
4 Giunchiglia, Fausto
4 Harrison, John R.
4 Hustadt, Ullrich
4 Janičić, Predrag
4 Korniłowicz, Artur
4 Kremer, Steve
4 Loveland, Donald W.
4 Lu, James J.
4 Lusk, Ewing L.
4 Martín-Mateos, Francisco-Jesús
4 Melquiond, Guillaume
4 Minker, Jack
4 Motik, Boris
4 Muñoz, César A.
4 Murray, Neil V.
4 Narboux, Julien
4 Overbeek, Ross A.
4 Pąk, Karol
4 Pelletier, Francis Jeffry
4 Quaife, Art
4 Rudnicki, Piotr
4 Ruiz-Reina, José-Luis
4 Suttner, Christian B.
4 Szeider, Stefan
4 Théry, Laurent
4 Urban, Christian
4 Voronkov, Andrei
4 Zarba, Calogero G.
4 Zhang, Jingzhong
3 Alonso, José-Antonio
3 Anantharaman, Siva
3 Appel, Andrew W.
3 Aschermann, Cornelius
3 Asperti, Andrea
3 Avron, Arnon
3 Ayala-Rincón, Mauricio
3 Baader, Franz
3 Bailin, Sidney C.
...and 1,294 more Authors
all top 5

Fields

927 Computer science (68-XX)
380 Mathematical logic and foundations (03-XX)
33 General and overarching topics; collections (00-XX)
24 Information and communication theory, circuits (94-XX)
17 Group theory and generalizations (20-XX)
16 Geometry (51-XX)
10 Order, lattices, ordered algebraic structures (06-XX)
10 Number theory (11-XX)
10 Operations research, mathematical programming (90-XX)
9 Numerical analysis (65-XX)
7 History and biography (01-XX)
4 Combinatorics (05-XX)
4 Commutative algebra (13-XX)
4 Category theory; homological algebra (18-XX)
3 Differential geometry (53-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Algebraic geometry (14-XX)
2 Nonassociative rings and algebras (17-XX)
2 Real functions (26-XX)
2 Several complex variables and analytic spaces (32-XX)
2 Special functions (33-XX)
2 General topology (54-XX)
2 Probability theory and stochastic processes (60-XX)
1 Field theory and polynomials (12-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Associative rings and algebras (16-XX)
1 Measure and integration (28-XX)
1 Functions of a complex variable (30-XX)
1 Ordinary differential equations (34-XX)
1 Partial differential equations (35-XX)
1 Approximations and expansions (41-XX)
1 Mechanics of particles and systems (70-XX)
1 Relativity and gravitational theory (83-XX)
1 Biology and other natural sciences (92-XX)
1 Systems theory; control (93-XX)
1 Mathematics education (97-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription