1
Publications
82
Citations
1
H-Index
1997
Active since
Affiliations
Technical University of Munich(Current)
Ortrun Ibens is an author at Technical University of Munich.
Publications per year
1997–1997
1
1
SETHEO and E-SETHEO - The CADE-13 Systems
Max Moser, Ortrun Ibens, Reinhold Letz et al. · Journal of Automated Reasoning · 1997 · 82 citations
Rows per page
1–1 of 1