• zur Hauptnavigation springen
  • zum Inhaltsbereich springen
Universit?t Bamberg
Suche ?ffnen
Sie befinden sich hier:
  • Startseite
  • Fakult?ten
  • Wirtschaftsinformatik und Angewandte Informatik
  • Professuren und Lehrstühle
  • Angewandte Informatik
  • Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)
  • News
  Universit?t Bamberg

Fakult?t Wirtschaftsinformatik und Angewandte Informatik

Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)

  1.  Otto-Friedrich-Universit?t Bamberg
  2. Fakult?ten
  3. Wirtschaftsinformatik und Angewandte Informatik
  4. Professuren und Lehrstühle
  5. Angewandte Informatik
  6. Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)
  7. News
  8. Zwei neue Buchb?nde zu "Automated Reasoning"
Seitenbereich:

Fakult?t Wirtschaftsinformatik und Angewandte Informatik

Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)

  • Arbeitsgruppe
    • Prof. Dr. Christoph Benzmüller (Leitung)
    • Kernteam
      • Prof. Dr. Andrea Vestrucci
      • David Fuenmayor
      • Dr. Daniel Kirchner
    • Sekretariat
      • Cornelia Geisler
    • G?ste
    • Studentische Hilfskr?fte
      • Lara Lawniczak
    • Masterkandidierende
      • Lara Lawniczak
      • Marc Nickert
    • Alumni
      • Dr. Mennatullah Hendawy (PostDoc)
      • Dr. Veronika Solopova (now PostDoc at TU Berlin)
      • Dr. Martin Aleksandrov (DFG Project, FU Berlin)
      • Dr. Rosae Martin (U Bamberg & PhD candidate at U Valladolid)
  • Aktuelle Lehre
  • Aktivit?ten
    • Sommer 2023
    • Winter 2022/23
    • Sommer 2022
  • News
04.07.2024

Zwei neue Buchb?nde zu "Automated Reasoning"

In der Springer-Reihe "Lecture Notes in Artificial Intelligence" sind soeben zwei neue Open-Access-B?nde zum Thema "Automated Reasoning" erschienen, die von Prof. Dr. Benzmüller mit herausgegeben wurden. Siehe https://doi.org/10.1007/978-3-031-63498-7 und https://doi.org/10.1007/978-3-031-63501-4

Seite 149053

  • 球探足球比分
  • Impressum
  • Datenschutz

Zentrale Online-Services

  • Bamberger Katalog (Universit?tsbibliothek)
  • FIS (Forschungsinformationssystem)
  • FlexNow2
  • Intranet
  • Office 365
  • Online-Dienste
    (Studierendenkanzlei)
  • UnivIS 
  • Uni-Webmail:
    https://mailex.uni-bamberg.de
    https://o365.uni-bamberg.de
  • Virtueller Campus

Wichtige Links

  • 球探足球比分
  • ?ffnungszeiten
  • Prüfungsamt
  • IT-Service der Universit?t
  • Rückmeldung
  • Studierendenkanzlei
  • Universit?tsbibliothek
  • Vorlesungszeiten & Fristen
  • Studienangebot

Uni Bamberg in leichter Sprache

Zentraler 球探足球比分

Otto-Friedrich-Universit?t Bamberg
Kapuzinerstra?e 16
96047 Bamberg

Telefon: 0951 863-0
E-Mail: post(at)uni-bamberg.de

  • Unsere Netzwerke
  • Unsere Zertifikate

Folgen Sie uns

InstagramFacebookToktok
球探足球比分