Follow
Kim Kern
Kim Kern
Unknown affiliation
Verified email at fu-berlin.de - Homepage
Title
Cited by
Cited by
Year
Effective normalization techniques for HOL
M Wisniewski, A Steen, K Kern, C Benzmüller
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
152016
Improved Computation of CNF in Higher-Order Logics
K Kern
Free University of Berlin, 2015
12015
Seeker or Avoider? User Modeling for Inspiration Deployment in Large-Scale Ideation
M Mackeprang, K Kern, T Hadler, C Müller-Birn
arXiv preprint arXiv:2002.09029, 2020
2020
Ideator Types in Electronic Brainstorming
K Kern
2019
Department of Mathematics and Computer Science
K Kern
Effective Normalization Techniques for HOL1
MWA Steen, K Kern, C Benzmüller
The system can't perform the operation now. Try again later.
Articles 1–6