Box 5
Container
Contains 141 Results:
The 1989-1990 Taulbee Survey, 1992-01
File — Box: 5 , Folder: 41
Are Formal Methods Useful in Software Development?, 1992
File — Box: 5 , Folder: 42
Report of the Committee on the Mechanical Sciences, 1992-01-21
File — Box: 5 , Folder: 44
Dates:
1992-01-21
Trace-Based Network Proof Systems: Expressiveness and Completeness, 1992-07
File — Box: 5 , Folder: 45
A Constructive proof of Vizing's Theorem, 1992-03
File — Box: 5 , Folder: 46
Huttenlocher Case Professor of the Year and Clarke Teaching Award nominations, 1993
File — Box: 5 , Folder: 47
A New Approach to Teaching Mathematics, 1994-02
File — Box: 5 , Folder: 49
Proving Schneider's Inference Rule Sound, 1994-03
File — Box: 5 , Folder: 50