Siebers, Michael ; Schmid, Ute:
Semi-Analytic Natural Number Series Induction
.
In: Krüger, Antonio ; Glimm, Birte (Hrsg.) : KI 2012: Advances in Arti cial Intelligence
(35th German Conference on Artificial Intelligence, Saarbrücken, September 24-27, 2012).
Heidelberg : Springer, 2012, S. 249-252.
|
|