| Original language | English |
|---|---|
| Publisher | Technische Universiteit Eindhoven |
| Publication status | Published - 1997 |
AB43: An application of program derivation techniques to 18th-century mathematics
A. Bijlsma
Research output: Other contribution › Other research output