Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG
Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe  Suche: Personen Einrichtungen sonstige Einträge Lehrveranstaltungen Räume          Lehr- veranstaltungen     Personen/ Einrichtungen     Räume     Telefon & E-Mail
Darstellung   Druckansicht      Außerdem im UnivIS   Vorlesungsverzeichnis     Veranstaltungskalender	Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> 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. Institution: Lehrstuhl für Kognitive Systeme UnivIS ist ein Produkt der Config eG, Buckenhof