Observation du mathématicien: Aide à l'enseignement et à la demonstration automatique de théoremes

From MaRDI portal
Revision as of 10:02, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1253644
Powered by MediaWiki