Semi-Analytic Natural Number Series Induction






Faculty/Professorship: Cognitive Systems  
Author(s): Siebers, Michael  ; Schmid, Ute  
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