Notice Dewey
- Notice
511.360 28563 (23e éd.) = Démonstration automatique de théorèmes
Identifiant de la notice : ark:/12148/cb166597067
Notice n° :
FRBNF16659706
Création :
13/02/01
Mise à jour :
17/04/28
