Folgen
Kim Kern
Kim Kern
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei fu-berlin.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6