David Fuenmayor
David Fuenmayor
Affiliation: Otto-Friedrich-Universität Bamberg
Pages in this Program
Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑