×

zbMATH — the first resource for mathematics

Journal of Automated Reasoning

Short Title: J. Autom. Reasoning
ISSN: 0168-7433; 1573-0670/e
Publisher: Springer Netherlands, Dordrecht
Online: http://link.springer.com/journal/volumesAndIssues/10817
Comments: Indexed cover-to-cover
Documents indexed: 919 Publications since 1985
References indexed: 593 Publications with 18,721 References
all top 5

Latest Volumes

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)
34, No. 4 (2005)
34, No. 3 (2005)
34, No. 2 (2005)
34, No. 1 (2005)
33, No. 3-4 (2004)
33, No. 2 (2004)
33, No. 1 (2004)
...and 94 more Volumes
all top 5

Authors

38 Wos, Larry
16 Paulson, Lawrence Charles
11 Bundy, Alan
11 Chou, Shangching
11 Giesl, Jürgen
11 McCune, William W.
11 Sutcliffe, Geoff
10 Plaisted, David Alan
10 Urban, Josef
9 Blanchette, Jasmin Christian
9 Gao, Xiaoshan
9 Nipkow, Tobias
8 Peltier, Nicolas
8 Veroff, Robert
7 Cantone, Domenico
7 Kapur, Deepak
7 Kaufmann, Matt
7 Leroy, Xavier
7 Moore, J Strother
6 Bonacina, Maria Paola
6 Middeldorp, Aart
6 Policriti, Alberto
6 Rusinowitch, Michaël
6 Schneider-Kamp, Peter
6 Stickel, Mark E.
6 Walsh, Toby
6 Yahya, Adnan H.
5 Baumgartner, Peter
5 Felty, Amy P.
5 Henschen, Lawrence J.
5 Horrocks, Ian
5 Johnson, Charles A.
5 Kaliszyk, Cezary
5 Kazakov, Yevgeny
5 Kunen, Kenneth
5 Narendran, Paliath
5 Ohlbach, Hans Jürgen
5 Subrahmanian, V. S.
5 Zhang, Hantao
4 Andrews, Peter B.
4 Avigad, Jeremy
4 Basin, David A.
4 Blazy, Sandrine
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 Hähnle, Reiner
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 Minker, Jack
4 Motik, Boris
4 Murray, Neil V.
4 Overbeek, Ross A.
4 Pelletier, Francis Jeffry
4 Quaife, Art
4 Rudnicki, Piotr
4 Ruiz-Reina, José-Luis
4 Slaney, John K.
4 Suttner, Christian B.
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 Baader, Franz
3 Bailin, Sidney C.
3 Barker-Plummer, Dave
3 Beckert, Bernhard
3 Belinfante, Johan Gijsbertus Frederik
3 Benhamou, Belaid
3 Bibel, Wolfgang
3 Brown, Chad Edward
3 Cialdea Mayer, Marta
3 de Nivelle, Hans
3 Delaune, Stéphanie
3 Echenim, Mnacho
3 Frohn, Florian
3 Fuhs, Carsten
3 Gent, Ian Philip
3 Giunchiglia, Enrico
3 Glimm, Birte
3 Godoy, Guillem
3 Grabowski, Adam
3 Harrison, John R.
...and 1,185 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription