Box 5
Container
Contains 141 Results:
Method for Generating Audio Rendering on Digitized Works Having Highly Technical Content, 1996-11-05 - 1997-01-17
File — Box: 5 , Folder: 61
Dates:
1996-11-05 - 1997-01-17
What's Education For? Address at the Opening Convocation, Daniel Webster College, 1996-09-06
File — Box: 5 , Folder: 63
Dates:
1996-09-06
The Need for Education in Useful Formal Logic, 1996-04
File — Box: 5 , Folder: 64
Statement for the Case Nomination, 1996-05
File — Box: 5 , Folder: 65
Formal Methods: Why? What? How?, 1996-04
File — Box: 5 , Folder: 66
Formal versus semiformal proof in teaching predicate logic, 1996-08
File — Box: 5 , Folder: 67
Constable's problem with functions, 1996-09
File — Box: 5 , Folder: 69
K-M-P string matching revisited, 1997
File — Box: 5 , Folder: 70