22 research outputs found
The Scottish enlightenment and Helgel's political philosophy
SIGLEAvailable from British Library Lending Division - LD:D55156/85 / BLDSC - British Library Document Supply CentreGBUnited Kingdo
The teaching of cameralism, 'Staatswissenschaften', and economics in early nineteenth-century Germany: a case study (University of Berlin) in its national context
SIGLEBibliothek Weltwirtschaft Kiel C 147134 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Automatic Identification of Mantle Seismic Phases Using a Convolutional Neural Network
International audienc
Formalisme, formalisation, intuition et compr\ue9hension en math\ue9matiques : de la pratique informelle aux syst\ue8mes formels et retour \ubb (\uab FFIUM \ubb)
"Ce projet cherche \ue0 comprendre l'interaction dynamique entre
les th\ue9ories math\ue9matiques informelles et leur formalisation.
Le terme ambigu\ueb \uab formalisation \ubb est au centre du projet." (dal progetto ufficiale