UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:       
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Angewandte Informatik >> Lehrstuhl für Kognitive Systeme >>
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.
UnivIS ist ein Produkt der Config eG, Buckenhof