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

7th International Conference on Automated Deduction

Lägsta pris på PriceRunner
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
1984-05-18
Sidor
512