Box 4
Container
Contains 131 Results:
A hands-in-the-pocket presentation of a k-majority vote algorithm, 1987-11
File — Box: 4 , Folder: 101
Abstract Data Types, 1987-04
File — Box: 4 , Folder: 102
TR 87-865 Complete, Trace-based Network Proof Systems: An Advisor's Perspective, 1987-08
File — Box: 4 , Folder: 103
A Proof Concerning Rings, 1987-09
File — Box: 4 , Folder: 104
Preface for Hoare's Essays on Computer Science, 1987-09
File — Box: 4 , Folder: 106
Presentation of Computing Research Board Award to Kent Curtis at the Dinner in his honor, 1987-09
File — Box: 4 , Folder: 107
Plan for a new Programming Language and Environment, 1987-07-01
File — Box: 4 , Folder: 108
Dates:
1987-07-01
Presenting an Algorithm to Find the Minimum Edit Distance, 1987-08
File — Box: 4 , Folder: 109
Influences (or Lack Thereof) of Formalism in Teaching Programming and Software Engineering, 1987-10-28
File — Box: 4 , Folder: 110
Dates:
1987-10-28