On the design of calculational proofs

Edsger W. Dijkstra

Type: Book

Publication Date: 1994-01-11

Citations: 1

Similar Works

Action	Title	Year	Authors
+	Computer-assisted proofs	2006
+	On the number of steps in proofs	1989	Jan KrajmIček
+	On Proofs and Definitions	1964	Herbert Meschkowski
+	On the number of variables required for proofs	2002	Robin Hirsch Ian Hodkinson Roger D. Maddux
+	On Proof Techniques and Technology	2007	Ma. Louise Antonette N. De Las Peñas Debbie Bautista
+	Practice with Proofs	2020	Craig P. Bauer
+	Proof constructions and evaluations	2009	Andreas J. Stylianides Gabriel J. Stylianides
+	Automatic Proofs of	2006	Graph Nonisomorphism
+	Proofs and Algorithms	2011	Gilles Dowek
+	Computer-assisted proofs in analysis	1984	Oscar E. Lanford
+	Introduction to Proofs	2019	Neil R. Nicholson
+	Collection of Proofs	2005	Antonella Cupillari
+	Reflections on a Discarded Set of Proofs	1995	Daniel Ferrer
+	Textbook analyses on reasoning-and-proving: Significance and methodological challenges	2014	Gabriel J. Stylianides
+	Formal Proofs in Mathematical Practice	2024	Danielle Macbeth
+	Formal Proofs in Mathematical Practice	2021	Danielle Macbeth
+	What Are Proofs, and Why Do We Write Them?	2016	Jonathan M. Kane
+	The Meaning of Proofs	2022
+	Towards a Behavioral Foundation of Mathematical Proofs	1969	Patrick Suppes
+	Counting and Proofs	2015

Action	Title	Year	Authors

Action	Title	Year	Authors