Следене
Kim Kern
Kim Kern
Няма данни за членство
Потвърден имейл адрес: fu-berlin.de - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–6