Widok standardowy
Widok MARC
Conference on Automated Deduction (5 ; 1980 ; Les Arcs). (Hasło imprezy/wydarzenia)
Forma odrzucona:
- CADE.
- International Conference on Automated Deduction.
Do nr 6 nazwa: Conference on Automated Deduction. Od nr 7 (1984) zmiana nazwy na: International Conference on Automated Deduction.
Kp. 5th Conference on Automated Deduction / ed. by W. Bibel and R. Kowalski. - Berlin, 1980.
LCA online