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 |