Skip to main content
12 events
when toggle format what by license comment
May 24, 2019 at 15:13 comment added Stéphane Gimenez Dans ce cas, « dérivation » ou « arbre de dérivation » sont des termes employés fréquemment. Un exemple parmi d'autres: lri.fr/~paulin/MathInfo/html/cours003.html
May 24, 2019 at 10:40 comment added Engineer Je parle de dérivations formalles
May 20, 2019 at 7:06 comment added Stéphane Gimenez Tu parles de dérivations formelles avec des règles d'inférence, ou de mathématiques plus habituelles ?
May 19, 2019 at 22:53 answer added user20728 timeline score: 4
May 19, 2019 at 22:33 history edited user19187
tags +1.
May 19, 2019 at 16:10 vote accept Engineer
May 19, 2019 at 16:10 vote accept Engineer
May 19, 2019 at 16:10
May 19, 2019 at 16:08 history edited LPH CC BY-SA 4.0
added 6 characters in body; edited title
May 19, 2019 at 16:05 answer added LPH timeline score: -1
May 19, 2019 at 15:23 history edited Toto CC BY-SA 4.0
added 3 characters in body
May 19, 2019 at 15:22 answer added Toto timeline score: 3
May 19, 2019 at 15:02 history asked Engineer CC BY-SA 4.0