| LC control no. | n 80082907
|
| Descriptive conventions | rda
|
| Meeting name heading | Conference on Automated Deduction
Browse this term in LC Authorities or the LC Catalog |
| Variant(s) | Automated Deduction, Conference on
|
| See also | International Conference on Automated Deduction
Browse this term in LC Authorities
|
| Field of activity | Automatic theorem proving
|
| Found in | Its 5th, Les Arcs, France, 1980. 5th Conference on ... c1980: t.p. (5th Conference on Automated Deduction, Les Arcs, France, 1980)
|
| Not found in | (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)
|
| Associated language | eng
|
