Granularity analysis for tutoring mathematical proofs /

Lignende værker

• Introduction to mathematical proofs : a transition /
  af: Roberts, Charles E., 1942-
  Udgivet: (2009)
• How to read and do proofs : an introduction to mathematical thought processes /
  af: 419318 Solow, Daniel
  Udgivet: (2005)
• Proofs and types /
  af: 291662 Girard, Jean-Yves, et al.
  Udgivet: (1989)
• Logic, proof and sets /
  af: 388844 Bittinger, Marvin L.
  Udgivet: (1982)
• Conditional and preferential logics : proof methods and theorem proving /
  af: 518526 Pozzato, Gian Luca
  Udgivet: (c201)