Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Sammlung/Stundenplan
Home
|
Anmelden
|
Kontakt
|
Hilfe
Suche:
Personen
Einrichtungen
sonstige Einträge
Lehrveranstaltungen
Räume
Darstellung
Druckansicht
Außerdem im UnivIS
Vorlesungsverzeichnis
Veranstaltungskalender
Schmid, Ute
:
Semi-Analytic Natural Number Series Induction .
In:
Krüger, Antonio ; Glimm, Birte
(Hrsg.) :
KI 2012: Advances in Articial 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