HEINZMANN, GERHARD OTTO Statistiche
HEINZMANN, GERHARD OTTO
Universita' degli Studi di MACERATA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formalisme, formalisation, intuition et compréhension en mathématiques : de la pratique informelle aux systèmes formels et retour » (« FFIUM ») | 1-gen-2018 | Buzzoni, M.; Heinzmann, GERHARD OTTO; Steinberger, H. Leitgeb; M. Panza; N. Gratzl; A. Gondo; L. Picollo; A. Arana; M. Antonutti-Marfori; H. Benis-Sinaceur; B. Eastaugh; M. Cadet; M. Dzamonja; A. A. Genestier; V. Giardino; C. Imbert; M. Imocrante; B. Mélès; W. Miskiewicz; P. Joray; S. Moraillon; Ph. Nabonnand; A. Naibo; F. Poggiolesi; M. Rebuschi; P. Wagner; D. Waszek; D. Galmiche; J. Avigad; R. Krömer; W. Dean; A. Lassalle-Casanave; P. Mancosu; S. Rahman; G. Schiemer; D. Stump; D. Schlimm; G. Sundholm; F. | HEINZMANN Project FFIUM Convention + DAF signés par tous.pdf |