×

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,039 Publications (since 1985)
References indexed: 704 Publications with 23,119 References
all top 5

Latest Issues

64, No. 8 (2020)
64, No. 7 (2020)
64, No. 6 (2020)
64, No. 5 (2020)
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)
...and 110 more Volumes
all top 5

Authors

38 Wos, Larry
19 Paulson, Lawrence Charles
13 Blanchette, Jasmin Christian
11 Bundy, Alan
11 Chou, Shangching
11 Giesl, Jürgen
11 McCune, William W.
11 Nipkow, Tobias
11 Sutcliffe, Geoff
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 Norrish, Michael
6 Policriti, Alberto
6 Popescu, Andrei
6 Rusinowitch, Michaël
6 Stickel, Mark E.
6 Thiemann, René
6 Walsh, Toby
6 Yahya, Adnan H.
6 Zhang, Hantao
5 Avigad, Jeremy
5 Basin, David A.
5 Biere, Armin
5 de Moura, Leonardo
5 Echenim, Mnacho
5 Hähnle, Reiner
5 Henschen, Lawrence J.
5 Horrocks, Ian
5 Hustadt, Ullrich
5 Johnson, Charles A.
5 Kazakov, Yevgeny
5 Kunen, Kenneth
5 Miller, Dale Allen
5 Narendran, Paliath
5 Ohlbach, Hans Jürgen
5 Schmidt, Renate A.
5 Smolka, Gert
5 Subrahmanian, V. S.
5 Weidenbach, Christoph
4 Andrews, Peter B.
4 Barthe, Gilles
4 Bledsoe, Woodrow W.
4 Böhme, Sascha
4 Cialdea Mayer, Marta
4 Fiorino, Guido
4 Fitelson, Branden
4 Gamboa, Ruben A.
4 Giunchiglia, Fausto
4 Heule, Marijn J. H.
4 Janičić, Predrag
4 Klein, Gerwin
4 Korniłowicz, Artur
4 Kremer, Steve
4 Loveland, Donald W.
4 Lu, James J.
4 Lucas, Salvador
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 Myreen, Magnus O.
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 Schulz, Stephan
4 Suttner, Christian B.
4 Szeider, Stefan
4 Théry, Laurent
4 Urban, Christian
4 Voronkov, Andrei
4 Yamada, Akihisa
4 Zarba, Calogero G.
4 Zhang, Jingzhong
3 Alonso, José-Antonio
3 Anantharaman, Siva
3 Appel, Andrew W.
3 Aschermann, Cornelius
...and 1,358 more Authors
all top 5

Fields

955 Computer science (68-XX)
391 Mathematical logic and foundations (03-XX)
36 General and overarching topics; collections (00-XX)
26 Information and communication theory, circuits (94-XX)
17 Group theory and generalizations (20-XX)
16 Geometry (51-XX)
11 Number theory (11-XX)
11 Numerical analysis (65-XX)
11 Operations research, mathematical programming (90-XX)
10 Order, lattices, ordered algebraic structures (06-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 Ordinary differential equations (34-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 Partial differential equations (35-XX)
1 Dynamical systems and ergodic theory (37-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 Open

Loading citation profile