×

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: 923 Publications (since 1985)
References indexed: 597 Publications with 18,721 References
all top 5

Latest Issues

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)
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)
...and 95 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.
6 Zhang, Hantao
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.
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,183 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription