Conference on Automated Deduction
URI(s)
Variants
Identifies LC/NAF RWO
Later Established Forms
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
found: Its 5th, Les Arcs, France, 1980. 5th Conference on ... c1980:t.p. (5th Conference on Automated Deduction, Les Arcs, France, 1980)
notfound: (7th : 1984 : Napa, Calif.). Seventh International ... c1984: CIP t.p. (Seventh International Conference on Automated Deduction);Inter'l. Conf. on Automated Deduction, (7th : 1984 : Napa, Calif.). 7th Inter'l. Conf. on ... 1984: t.p. (7th International Conference on Automated Deduction, Napa, Calif., USA, May 14-16, 1984)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
1980-08-11: new
2013-08-08: revised
Alternate Formats