Proof constructions and evaluations

By Andreas J. Stylianides, Gabriel J. Stylianides. 2009

124 citations recorded by the source corpus.

Subfields: Education, Statistics and Probability

View Paper: https://www.semanticscholar.org/paper/88c0adbec8fccf41c872fd5c91877ef90fb92a84

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Education

  1. Keith Weber
  2. Juan Pablo Mejía-Ramos
  3. Matthew Inglis
  4. Andreas J. Stylianides
  5. Y. Ko
  6. Ivy Kidron
  7. Susan D. Nickerson
  8. Greisy Winicki-Landman

In Statistics and Probability

  1. Keith Weber
  2. Juan Pablo Mejía-Ramos
  3. Matthew Inglis
  4. Andreas J. Stylianides
  5. Y. Ko
  6. Susan D. Nickerson
  7. Greisy Winicki-Landman
  8. Ivy Kidron

Citations in the corpus