Box 4
Container
Contains 131 Results:
Educating the Programmer: Notation, Proofs and the Development of Programs, 1980
File — Box: 4 , Folder: 71
Programming in the Small, 1980
File — Box: 4 , Folder: 73
Notes on Mathematical Induction and Well-Founded Sets, 1981-11-10
File — Box: 4 , Folder: 74
Dates:
1981-11-10
Finding the Longest Prefix, 1981-08
File — Box: 4 , Folder: 75
A Proof Technique for Communicating Sequential Processes, 1981
File — Box: 4 , Folder: 76
Research Summary, 1981-06
File — Box: 4 , Folder: 77
TR 81-452 Swapping Sections, 1981-01
File — Box: 4 , Folder: 78
The Seven-Eleven Problem, 1982
File — Box: 4 , Folder: 79
Finding Repeated Elements, 1982
File — Box: 4 , Folder: 80