| Original language | English |
|---|---|
| Publisher | Kluwer Academic Publishers |
| Number of pages | 236 |
| Volume | 29 |
| Publication status | Published - 2002 |
Special Issue on Mechanizing and Automated Mathematics: In honour of N.G De Bruijn
Research output: Book/Report › Anthology