著者典拠情報

著者標目形：
International Conference on Automated Deduction
属性：
Meeting
場所：
Napa, Calif.;Oxford;Argonne, Ill.;Kaiserslautern;Saratoga Springs, NY;Nancy, France;New Brunswick, NJ;Townsville, North Queensland, Australia;Lindau, Germany;Trent, Italy; Pittsburgh, PA
日付：
1984;1986;1988;1990;1992;1994;1996;1997;1998;1999;2000
から見よ参照形：
Automated Deduction, International Conference on
Conference on Automated Deduction, International
CADE
からも見よ参照形：
Conference on Automated Deduction <DA00406355>
注記：
Its (8th : July 27-August 1, 1986 : Oxford, England) 8th International Conference on Automated Deduction, c1986
Its (7th : 1984 : Napa, Calif.). 7th International ... 1984: t.p. (7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984)
Conf. on Automated Deduction (6th : 1982 : New York, N.Y.). 6th Conf. on Automated Deduction, 1982: t.p. (6th Conference on Automated Deduction, New York, USA, June 7-9, 1982)
Its (9th : 1988 : Argonne, Ill.) 9th International Conference on Automated Deduction, c1988
Its (10th : 1990 : Kaiserslautern, FRG) 10th International Conference on Automated Deduction, c1990
Its (11th : 6/15-18/92 : Saratoga Springs, NY) Automated deduction--CADE-11, c1992
Its (12th : 1994 : Nancy) Automated deduction -- CADE-12, c1994
Its (13th : 1996 : New Brunswick, NJ, USA) Automated deduction -- CADE-13, c1996
著者典拠ID：
DA00406195


1.

図書
図書
1. Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 : proceedings
Franz Baader (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2741 . Lecture notes in artificial intelligence
所蔵情報: 図書館
2.

図書
図書
2. Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
Harald Ganzinger (ed.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1632 . Lecture notes in artificial intelligence
所蔵情報: 図書館
3.

図書
図書
3. Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings (: pbk : alk. paper)
Claude Kirchner, Hélène Kirchner (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1421 . Lecture notes in artificial intelligence
所蔵情報: 図書館
4.

図書
図書
4. Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings (pbk. : alk. paper)
William McCune (ed.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1249 . Lecture notes in artificial intelligence
所蔵情報: 図書館
5.

図書
図書
5. Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
M.A. McRobbie, J.K. Slaney, (eds.)
出版情報: Berlin ; New York : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1104 . Lecture notes in artificial intelligence
所蔵情報: 図書館
6.

図書
図書
6. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings (: us ; : gw)
Alan Bundy (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 814 . Lecture notes in artificial intelligence
所蔵情報: 図書館
7.

図書
図書
7. Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings (: gw ; : us)
D. Kapur (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 607 . Lecture notes in artificial intelligence
所蔵情報: 図書館
8.

図書
図書
8. 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings (: gw ; : us)
M.E. Stickel (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 449 . Lecture notes in artificial intelligence
所蔵情報: 図書館
9.

図書
図書
9. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings (: gw ; : us)
E. Lusk, R. Overbeek (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 310
所蔵情報: 図書館
10.

図書
図書
10. 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings (: gw ; : us)
edited by R.E. Shostak
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 170
所蔵情報: 図書館