Gå direkt till innehållet
7th International Conference on Automated Deduction
Spara

7th International Conference on Automated Deduction

Following the Argonne conference were meetings in Oberwolfach, West Germany (1976), Cambridge, Massachusetts (1977), Austin, Texas (1979), Les Arcs, France (19S0), and New York, New York (19S2).
Undertitel
Proceedings
Redaktör
R. E. Shostak
Upplaga
1984 ed.
ISBN
9780387960227
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
18.5.1984
Sidor
512