Box 5
Container
Contains 141 Results:
Documents Mean More than Just Paper!, 1997
File — Box: 5 , Folder: 71
Formal justification of underspecification for S5, 1997
File — Box: 5 , Folder: 72
Review of the Proposal for Modernizing the Computer Science/Mathematics Curriculum at Pepperdine University, 1997-10-31
File — Box: 5 , Folder: 73
Dates:
1997-10-31
Adding the Everywhere Operator to Propositional Logic, 1998
File — Box: 5 , Folder: 74
On Engineering Design in CS100, CS211, and CS212, 1998-11-09
File — Box: 5 , Folder: 75
Dates:
1998-11-09
Proposal for an Introductory Java Text, 1998-11
File — Box: 5 , Folder: 76
Formalizations of Substitution of Equals for Equals, 1998-05-27
File — Box: 5 , Folder: 77
Dates:
1998-05-27
Nomination of Gene Golub for the ACM Turing Award, 1999-08-30
File — Box: 5 , Folder: 78
Dates:
1999-08-30
Monotonicity in Calculational Proofs, 1999-05
File — Box: 5 , Folder: 79
Self-Printing JAVA Procedures, 1999-09
File — Box: 5 , Folder: 80