Statistics
Publications
18
Citations
1.1K
H-Index
16
Active since
1974
Wolfgang Bibel is an author at Technical University of Munich specializing in computer science, computing, and deductive reasoning.
Publications per year
1974–2014
18
18
SETHEO: A high-performance theorem prover
Reinhold Letz, J. Schümann, Stefan Bayerl et al. · Journal of Automated Reasoning · 1992 · 237 citations
Wolfgang Bibel · Journal of the ACM · 1981 · 183 citations
Wolfgang Bibel · Communications of the ACM · 1983 · 85 citations · Full text
1–5 of 18