Statistics
Publications
12
Citations
220
H-Index
11
Active since
1990
Manfred Kerber is an author at University of Birmingham specializing in computer science, computing, and formal methods.
Publications per year
1990–2017
12
12
Combined reasoning by automated cooperation
Christoph Benzmüller, Volker Sorge, Mateja Jamnik et al. · Journal of Applied Logic · 2007 · 27 citations
How to Prove Higher Order Theorems in First Order Logic
Manfred Kerber · 1990 · 16 citations · Full text
Sound Auction Specification and Implementation
Marco B. Caminati, Manfred Kerber, Christoph Lange et al. · 2015 · 15 citations · Full text
1–5 of 12