Andreas Herzig
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
|
TouIST: a Friendly Language for Propositional Logic and More29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩
Communication dans un congrès
hal-02925894v1
|