Siebers, Michael ; Schmid, Ute: Semi-Analytic Natural Number Series Induction
. In: Krüger, Antonio ; Glimm, Birte (Hrsg.) : KI 2012: Advances in Articial Intelligence (35th German Conference on Artificial Intelligence, Saarbrücken, September 24-27, 2012). Heidelberg : Springer, 2012, S. 249-252.
Institution: Professur für Angewandte Informatik, insbes. Kognitive Systeme
|
|