×

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: 968 Publications (since 1985)
References indexed: 639 Publications with 20,467 References
all top 5

Latest Issues

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)
36, No. 4 (2006)
36, No. 3 (2006)
36, No. 1-2 (2006)
35, No. 4 (2005)
35, No. 1-3 (2005)
...and 101 more Volumes
all top 5

Authors

38 Wos, Larry
18 Paulson, Lawrence Charles
11 Blanchette, Jasmin Christian
11 Bundy, Alan
11 Chou, Shangching
11 Giesl, Jürgen
11 McCune, William W.
11 Sutcliffe, Geoff
10 Nipkow, Tobias
10 Plaisted, David Alan
10 Urban, Josef
9 Gao, Xiaoshan
8 Peltier, Nicolas
8 Veroff, Robert
7 Cantone, Domenico
7 Kapur, Deepak
7 Kaufmann, Matt
7 Leroy, Xavier
7 Moore, J Strother
7 Schneider-Kamp, Peter
6 Blazy, Sandrine
6 Bonacina, Maria Paola
6 Kaliszyk, Cezary
6 Middeldorp, Aart
6 Policriti, Alberto
6 Rusinowitch, Michaël
6 Stickel, Mark E.
6 Walsh, Toby
6 Yahya, Adnan H.
6 Zhang, Hantao
5 Baumgartner, Peter
5 Felty, Amy P.
5 Hähnle, Reiner
5 Henschen, Lawrence J.
5 Horrocks, Ian
5 Johnson, Charles A.
5 Kazakov, Yevgeny
5 Kunen, Kenneth
5 Lammich, Peter
5 Narendran, Paliath
5 Norrish, Michael
5 Ohlbach, Hans Jürgen
5 Popescu, Andrei
5 Smolka, Gert
5 Subrahmanian, V. S.
4 Andrews, Peter B.
4 Avigad, Jeremy
4 Basin, David A.
4 Bledsoe, Woodrow W.
4 Böhme, Sascha
4 Boyer, Robert S.
4 de Moura, Leonardo
4 Fiorino, Guido
4 Fitelson, Branden
4 Gamboa, Ruben A.
4 Giunchiglia, Fausto
4 Harrison, John R.
4 Hasan, Osman
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 Schmidt, Renate A.
4 Slaney, John K.
4 Suttner, Christian B.
4 Szeider, Stefan
4 Théry, Laurent
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.
3 Barker-Plummer, Dave
3 Beckert, Bernhard
3 Belinfante, Johan Gijsbertus Frederik
3 Benhamou, Belaid
3 Bezem, Marc
3 Bibel, Wolfgang
...and 1,254 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription