Searching for authors named "David Gries" – sorted by Relevance.
-
On Presenting Monotonicity and On . . .
- On Presenting Monotonicity and On EA)AE David Gries Computer Science, Cornell University April
- Add To MetaCart
-
Formal Versus Semiformal Proof in Teaching Predicate Logic
- Formal versus semiformal proof in teaching predicate logic David Gries 1 Computer Science
- Cited by 1 (0 self) – Add To MetaCart
-
A Constructive Proof of Vizing’s Theorem
- A Constructive Proof of Vizing’s Theorem J Misra and David Gries 1 Computer Sciences, University
- Cited by 13 (0 self) – Add To MetaCart
-
Interactive Audio Documents
- -mail: hraman@(email omitted); David Gries Computer Science, Cornell University E-mail: hgries
- Cited by 3 (1 self) – Add To MetaCart
-
Documents mean more than just Paper!
- Documents mean more than just Paper! 1 T. V. Raman David Gries Cambridge Research Lab Computer
- Cited by 3 (2 self) – Add To MetaCart
-
Adding the Everywhere Operator to Propositional Logic
- Adding the Everywhere Operator to Propositional Logic David Gries and Fred B. Schneider y
- Cited by 1 (0 self) – Add To MetaCart
-
A New Approach to Teaching Discrete Mathematics
- A New Approach to Teaching Discrete Mathematics David Gries # and Fred B. Schneider + Computer
- Cited by 1 (0 self) – Add To MetaCart
-
Formalizations Of Substitution Of Equals For Equals
- Formalizations Of Substitution Of Equals For Equals David Gries and Fred B. Schneider y
- Cited by 1 (0 self) – Add To MetaCart
-
[Mathematical Logic and Formal Languages]: Mathematical Logic–proof theory General Terms: Verification
- Research Center and DAVID GRIES and FRED. B. SCHNEIDER Cornell University We consider incomplete trace
- Add To MetaCart
-
Avoiding the Undefined by Underspecification
- Avoiding the Undefined by Underspecification David Gries ? and Fred B. Schneider ?? Computer
- Cited by 18 (0 self) – Add To MetaCart

