Semi-Analytic Natural Number Series Induction
Faculty/Professorship: | Cognitive Systems |
Author(s): | Siebers, Michael ![]() ![]() |
Editors: | Krüger, Antonio; Glimm, Birte |
Title of the compilation: | KI 2012: Advances in Artificial Intelligence : 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings |
Corporate Body: | KI ; 35 <2012, Saarbrücken> |
Publisher Information: | Berlin [u.a.] : Springer |
Year of publication: | 2012 |
Pages: | 249-252 |
ISBN: | 978-3-642-33346-0 978-3-642-33347-7 |
Series ; Volume: | Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence ; 7526 |
Language(s): | English |
DOI: | 10.1007/978-3-642-33347-7_25 |
URL: | http://link.springer.com/chapter/10.1007/978-3-... |
Type: | Conferenceobject |
URI: | https://fis.uni-bamberg.de/handle/uniba/1094 |
Year of publication: | 15. April 2013 |

originated at the
University of Bamberg
University of Bamberg