Seguir
Kim Kern
Kim Kern
Afiliação desconhecida
Email confirmado em fu-berlin.de - Página inicial
Título
Citado por
Citado por
Ano
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–6