1 |
New Version of a Translater for a Natural Language Study
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03551680 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
2 |
A Translater from Latex Trees to Coq Trees for a Natural Language Study
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03536652 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
3 |
Natural Language Processing and Coq : a case-study
|
|
|
|
In: WIL'2017 ; https://hal.archives-ouvertes.fr/hal-01792729 ; WIL'2017, Jun 2017, Reykjavik, Iceland (2017)
|
|
BASE
|
|
Show details
|
|
|
|