Selected Papers on Automath, Volume 133

R P Nederpelt (Editor), J H Geuvers (Editor), and R C De Vrijer (Editor)

0 ratings • 0 reviews • 0 shelved
Book cover for Selected Papers on Automath, Volume 133
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 6611779019
  • ISBN13 9786611779016
  • Publish Date 20 October 1994
  • Publish Status Active
  • Out of Print 22 June 2011
  • Publish Country US
  • Imprint Elsevier Science & Technology
  • Format eBook
  • Language English