Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Dr. Ulrich Berger

Adresse University of Wales Swansea
Department of Computer Science
Singleton Park
SA2 8PP Swansea
Großbritannien

Projekte

Als Kooperationspartner
- laufende Projekte
  - Berechnungen mit infiniten Daten: Programmextraktion aus Beweisen in einer um (ko)induktive Definitionen erweiterten konstruktiven Logik, die Berechnungsstärke und Anwendungen (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz