Introduction to Proof: The Mediation of a Dynamic Software Environment

By Maria Alessandra Mariotti. 2000

303 citations recorded by the source corpus.

Subfields: Education, Literature and Literary Theory

View Paper: https://www.semanticscholar.org/paper/4846b8f6cd1f0a1f94961fb12476f75d3f52d1a9

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. Eva Jablonka
  2. Andreas J. Stylianides
  3. Nathalie Sinclair
  4. Kirsti Hemmi
  5. Bettina Pedemonte
  6. Colette Laborde
  7. M. G. Bartolini Bussi
  8. T. Fujita

In Literature and Literary Theory

  1. Eva Jablonka
  2. Andreas J. Stylianides
  3. Colette Laborde
  4. Bettina Pedemonte
  5. Kirsti Hemmi
  6. M. G. Bartolini Bussi
  7. Nathalie Sinclair

Citations in the corpus