Automated Reasoning Series

Springer Nature
Springer Nature
ISSN: 09271023

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
journal names
Automated Reasoning Series
Publications
23
Citations
258
h-index
8
Top-3 citing journals
Top-3 organizations
York University
York University (8 publications)
Argonne National Laboratory
Argonne National Laboratory (2 publications)
Top-3 countries
USA (12 publications)
Canada (8 publications)
Germany (2 publications)

Most cited in 5 years

from 3 chars
Publications found: 0

Top-100

Citing journals

10
20
30
40
50
60
70
80
Show all (26 more)
10
20
30
40
50
60
70
80

Citing publishers

20
40
60
80
100
120
140
20
40
60
80
100
120
140

Publishing organizations

1
2
3
4
5
6
7
8
1
2
3
4
5
6
7
8

Publishing countries

2
4
6
8
10
12
USA, 12, 52.17%
Canada, 8, 34.78%
Germany, 2, 8.7%
Brazil, 1, 4.35%
United Kingdom, 1, 4.35%
Japan, 1, 4.35%
2
4
6
8
10
12