Andreas Steigmiller is an author at Universität Ulm specializing in system software, software design, and computer science.
Publications per year
2013–2017
4
4
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves et al. · Journal of Automated Reasoning · 2017 · 85 citations · Full text
Rows per page
1–4 of 4