Knuth's Problem
Richard S. Bird
Details
| Book Title |
IFIP TC2/WG2.1 Working Conference on Constructing Programs from Specifications |
| Editor |
B. Möller |
| Pages |
1–8 |
| Publisher |
North−Holland |
| Year |
1991 |
Links
Related pages
|
People |
|
|
Activities |