3,197 results on '"Gries, David"'
Search Results
2. Reflections on Edsger and His Influence
3. A new notion of encapsulation
4. Hilbert-style Proofs
5. Quantification
6. Formal Logic
7. Boolean Expressions
8. Relaxing the Proof Style
9. Applications of Propositional Calculus
10. Infinite Sets
11. A Theory of Graphs
12. Propositional Calculus
13. Textual Substitution, Equality, and Assignment
14. Using Mathematics
15. Recurrence Relations
16. Combinatorial Analysis
17. Modern Algebra
18. A Theory of Integers
19. Relations and Functions
20. A Theory of Sequences
21. Mathematical Induction
22. Predicates and Programming
23. Binary to Decimal, One More Time
24. Monotonicity in Calculational Proofs
25. Foundations for Calculational Logic
26. Eliminating the Chaff—Again Banquet Speech at Marktoberdorf 1996
27. Avoiding the undefined by underspecification
28. Equational logic as a tool
29. Data Refinement and the Transform
30. Lectures on Data Refinement
31. On Progress in Programming
32. Teaching Math More Effectively, Through Calculational Proofs
33. The potential of deciduous and permanent bovine enamel as substitute for deciduous and permanent human enamel: Erosion–abrasion experiments
34. Audio formatting—Making spoken text and math comprehensible
35. Audio formatting—Making spoken text and math comprehensible
36. Audio formatting — presenting structured information aurally
37. Equational logic: A great pedagogical tool for teaching a skill in logic
38. Translator writing systems
39. Opening up secret intelligence
40. The 1990-91 Taulbee Survey Report
41. Data refinement and the transform
42. Avoiding the undefined by underspecification
43. Equational logic: A great pedagogical tool for teaching a skill in logic
44. Equational logic as a tool
45. The 1988-89 Taulbee survey report
46. Data Refinement and the Transform
47. A Logical Approach to Discrete Math
48. Teaching logic as a tool
49. Introduction
50. An Axiomatic Proof Technique for Parallel Programs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.