- 1
SR
Simon Robillard
1
Documents
Identifiants chercheurs
- simon-robillard
- 0000-0003-4751-380X
Présentation
<https://simon-robillard.net/publications.html>
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)IJCAR 2022 - 11th International Joint Conference on Automated Reasoning, Aug 2022, Haifa, Israel. pp.359-368, ⟨10.1007/978-3-031-10769-6_22⟩
Communication dans un congrès
lirmm-03793406v1
|