Detailseite

Dr. Christoph Wernhard

Adresse Universität Potsdam
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
August-Bebel-Straße 89
14482 Potsdam

Projekte

Als Antragsteller
- laufende Projekte
  - Beweisstrukturen: Beweise als formale Objekte und als Datenstrukturen (Sachbeihilfen)
- abgeschlossene Projekte
  - Der Second-Order Ansatz und dessen Anwendung in der Sicht-basierten Anfrageverarbeitung (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Dr. Christoph Wernhard

Zusatzinformationen

Servicenavigation

Hauptnavigation

Dr. Christoph Wernhard

Zusatzinformationen

Textvergrößerung und Kontrastanpassung