Observation du mathématicien: Aide à l'enseignement et à la demonstration automatique de théoremes
From MaRDI portal
Publication:1253644
DOI10.1007/BF00410590zbMath0397.00023MaRDI QIDQ1253644
Publication date: 1978
Published in: Educational Studies in Mathematics (Search for Journal in Brave)
00A30: Philosophy of mathematics
Related Items
Cites Work