1
Publications
69
Citations
1
H-Index
1997
Active since
Franz Kriftner is an author specializing in automated reasoning.
Top concepts
Publications per year
1997–1997
1
1
A survey of the <i>Theorema</i> project
Bruno Buchberger, Tudor Jebelean, Franz Kriftner et al. · 1997 · 69 citations
Rows per page
1–1 of 1