Proceedings 1992 Int. Workshop on Mathematics Mechanization 7800031969


266 99 7MB

English Pages 291 Year 1992

Report DMCA / Copyright

DOWNLOAD DJVU FILE

Proceedings 1992 Int. Workshop on Mathematics Mechanization
 7800031969

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up
Recommend Papers