Home Advanced Search

Advanced Search - Page 1

Advances in Mathematics Education Research on Proof and Proving: An International Perspective
  • PDF
  • English
  • Year: 2018
  • Author: Andreas J. Stylianides,Guershon Harel (eds.)
Proving in the Elementary Mathematics Classroom
  • PDF
  • English
  • Year: 2016
  • Author: Andreas J. Stylianides
Proving in the Elementary Mathematics Classroom
  • PDF
  • English
  • Year: 2016
  • Author: Andreas J. Stylianides
The Development of Multiplicative Reasoning in the Learning of Mathematics
  • PDF
  • English
  • Year: 1994
  • Author: Guershon Harel, Jere Confrey
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
First-Order Dynamic Logic
  • PDF
  • English
  • Year: 1979
  • Author: David Harel (eds.)
First-Order Dynamic Logic
  • DJVU
  • English
  • Year: 1979
  • Author: David Harel (eds.)
The House on Garibaldi Street
  • EPUB
  • English
  • Year: 2013
  • Author: Isser Harel, Shlomo J. Shpiro
Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: David Harel (auth.), Johan Jeuring (eds.)
search