Automath, a Language for Mathematics
| Author | : Nicolaas Govert de Bruijn |
| Publisher | : |
| Total Pages | : 0 |
| Release | : 1973 |
| ISBN-10 | : 2760602230 |
| ISBN-13 | : 9782760602236 |
| Rating | : 4/5 (236 Downloads) |
Book Synopsis Automath, a Language for Mathematics by : Nicolaas Govert de Bruijn
Download or read book Automath, a Language for Mathematics written by Nicolaas Govert de Bruijn and published by . This book was released on 1973 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:
