Browsing by Author "Bates, Joseph L."
Bates, Joseph L.; Constable, Robert L. (Cornell University, 1982-02)The significant intellectual cost of programming is for problem solving and explaining and not for coding. Yet, programming systems offer mechanical assistance exclusively with the coding process. Here we describe an ...
Constable, Robert L.; Knoblock, Todd B.; Bates, Joseph L. (Cornell University, 1984-10)When we learn mathematics, we learn more than definitions and theorems. We learn techniques of proof. In this paper, we describe a particular way to express these techniques and incorporate them into formal theories and ...