| NCID | DA00406195 |
| 名称(HDNG) | International Conference on Automated Deduction |
| 生没年(DATE) | 1984;1986;1988;1990;1992;1994;1996;1997;1998;1999;2000 |
| から見よ(SF) | Automated Deduction, International Conference on
Conference on Automated Deduction, International
CADE |
| をも見よ(SAF) | Conference on Automated Deduction <DA00406355> |
| 注記(NOTE) | 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 |
| LCAID | 84044093 |