Widok standardowy Widok MARC

Conference on Automated Deduction (5 ; 1980 ; Les Arcs). (Hasło imprezy/wydarzenia)

Forma preferowana: Conference on Automated Deduction (5 ; 1980 ; Les Arcs).
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