- 1
HB
Hinde Lilia Bouziane
1
Documents
Identifiants chercheurs
- hinde-lilia-bouziane
- 0000-0002-8749-4562
Présentation
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
|