Siirry suoraan sisältöön
8th International Conference on Automated Deduction
Tallenna

8th International Conference on Automated Deduction

Alaotsikko
Oxford, England, July 27- August 1, 1986. Proceedings
Painos
1986 ed.
ISBN
9783540167808
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
1.7.1986
Sivumäärä
716