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

8th International Conference on Automated Deduction

Undertitel
Oxford, England, July 27- August 1, 1986. Proceedings
Upplaga
1986 ed.
ISBN
9783540167808
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1.7.1986
Sidor
716