Results 81 to 90 of about 107 (95)
Some of the next articles are maybe not open access.
La recherche sur l'autoformation : évolutions et perspectives (2003-2013)
Savoirs, 2013Philippe Carre
exaly
Conjecture Extraction for Proof Autoformalization
Simon Sorg, Wenda Li, Soumya Banerjeeopenaire +1 more source

