Options
Semi-Analytic Natural Number Series Induction
Siebers, Michael; Schmid, Ute (2012): Semi-Analytic Natural Number Series Induction, in: Antonio Krüger und Birte Glimm (Hrsg.), KI 2012: Advances in Artificial Intelligence : 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings, Berlin [u.a.]: Springer, S. 249–252, doi: 10.1007/978-3-642-33347-7_25.
Faculty/Chair:
Author:
Editor:
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:
Year of publication:
2012
Pages:
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:
English
Type:
Conferenceobject
Activation date:
April 15, 2013
Permalink
https://fis.uni-bamberg.de/handle/uniba/1094