|
Year
|
Volume
|
Number
|
Holdings
|
|
|
|
|
2007
|
39
|
4
December
|
Yes
|
|
|
|
|
2007
|
39
|
3
August. - Special Issue on Reasoning in Description Logics
|
Yes
|
|
|
|
|
2007
|
39
|
2
August. - Special Issue on User Interfaces in Theorem Proving
|
Yes
|
|
|
|
|
2007
|
39
|
1
July
|
Yes
|
|
|
|
|
2007
|
38
|
4
May
|
Yes
|
|
|
|
|
2007
|
38
|
1
/3 April. - Special Issue on Automated Reasoning with Analytic Tableaux
|
Yes
|
|
|
|
|
2006
|
37
|
4
|
Yes
|
|
|
|
|
2006
|
37
|
3
|
Yes
|
|
|
|
|
2006
|
37
|
1
-2
|
Yes
|
|
|
|
|
2006
|
36
|
4
|
Yes
|
|
|
|
|
2006
|
36
|
3
|
Yes
|
|
|
|
|
2006
|
36
|
1
/2
|
Yes
|
|
|
|
|
2005
|
35
|
4
|
Yes
|
|
|
|
|
2005
|
35
|
1
/3
|
Yes
|
|
|
|
|
2005
|
34
|
4
|
Yes
|
|
|
|
|
2005
|
34
|
3
|
Yes
|
|
|
|
|
2005
|
34
|
2
|
Yes
|
|
|
|
|
2005
|
34
|
1
|
Yes
|
|
|
|
|
2004
|
33
|
3
/4
|
Yes
|
|
|
|
|
2004
|
33
|
2
|
Yes
|
|
|
|
|
2004
|
33
|
1
|
Yes
|
|
|
|
|
2004
|
32
|
4
|
Yes
|
|
|
|
|
2004
|
32
|
3
|
Yes
|
|
|
|
|
2004
|
32
|
2
|
Yes
|
|
|
|
|
2004
|
32
|
1
|
Yes
|
|
|
|
|
2003
|
31
|
3
/4
|
Yes
|
|
|
|
|
2003
|
31
|
2
|
Yes
|
|
|
|
|
2003
|
31
|
1
|
Yes
|
|
|
|
|
2003
|
30
|
3
/4
|
Yes
|
|
|
|
|
2003
|
30
|
2
|
Yes
|
|
|
|
|
2003
|
30
|
1
|
Yes
|
|
|
|
|
2002
|
29
|
3
/4
|
Yes
|
|
|
|
|
2002
|
29
|
2
|
Yes
|
|
|
|
|
2002
|
29
|
1
|
Yes
|
|
|
|
|
2002
|
28
|
4
|
Yes
|
|
|
|
|
2002
|
28
|
3
|
Yes
|
|
|
|
|
2002
|
28
|
2
|
Yes
|
|
|
|
|
2002
|
28
|
1
|
Yes
|
|
|
|
|
2001
|
27
|
4
|
Yes
|
|
|
|
|
2001
|
27
|
3
|
Yes
|
|
|
|
|
2001
|
27
|
2
|
Yes
|
|
|
|
|
2001
|
27
|
1
|
Yes
|
|
|
|
|
2001
|
26
|
4
|
Yes
|
|
|
|
|
2001
|
26
|
3
|
Yes
|
|
|
|
|
2001
|
26
|
2
|
Yes
|
|
|
|
|
2001
|
26
|
1
|
Yes
|
|
|
|
|
2000
|
25
|
4
|
Yes
|
|
|
|
|
2000
|
25
|
3
|
Yes
|
|
|
|
|
2000
|
25
|
2
|
Yes
|
|
|
|
|
2000
|
25
|
1
|
Yes
|
|
|
|
|
2000
|
24
|
4
|
Yes
|
|
|
|
|
2000
|
24
|
3
|
Yes
|
|
|
|
|
2000
|
24
|
1
-2
|
Yes
|
|
|
|
|
1999
|
23
|
3
/4
|
Yes
|
|
|
|
|
1999
|
23
|
2
|
Yes
|
|
|
|
|
1999
|
23
|
1
|
Yes
|
|
|
|
|
1999
|
22
|
4
|
Yes
|
|
|
|
|
1999
|
22
|
3
|
Yes
|
|
|
|
|
1999
|
22
|
2
|
Yes
|
|
|
|
|
1999
|
22
|
1
|
Yes
|
|
|
|
|
1998
|
21
|
3
|
Yes
|
|
|
|
|
1998
|
21
|
2
|
Yes
|
|
|
|
|
1998
|
21
|
1
|
Yes
|
|
|
|
|
1998
|
20
|
3
|
Yes
|
|
|
|
|
1998
|
20
|
1
/2
|
Yes
|
|
|
|
|
1997
|
19
|
3
|
Yes
|
|
|
|
|
1997
|
19
|
1
-2
|
Yes
|
|
|
|
|
1997
|
18
|
1
-3
|
Yes
|
|
|
|
|
1996
|
16-17
|
1
-3
|
Yes
|
|
|
|
|
1993-1995
|
10-15
|
1
-3
|
Yes
|
|
|
|
|
1992
|
8-9
|
1
-3
|
Yes
|
|
|
|
|
1985-1991
|
1-7
|
1
-4
|
Yes
|
|
|
|
