Automath

concept

Liens externes

Lien Wikipedia : https://fr.wikipedia.org/wiki/Automath

Lien Wikidata : https://www.wikidata.org/wiki/Q2872609

Propriétés

Catégories

concepts mathématiques sciences concepts abstraits