TY  - CHAP
AU  - Calmet, Jacques
TI  - Utilisation des langages formels en théorie des champs
BT  - Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
AU  - Collectif
T3  - Mémoires de la Société Mathématique de France
PY  - 1977
SP  - 31
EP  - 39
IS  - 49-50
PB  - Société mathématique de France
UR  - http://www.numdam.org/articles/10.24033/msmf.211/
DO  - 10.24033/msmf.211
ID  - MSMF_1977__49-50__31_0
ER  -