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

Detailseite

Institution

Druckansicht

University of Wales Swansea
Department of Computer Science

Adresse Singleton Park
SA2 8PP Swansea
Großbritannien

SA2 8PP Swansea

Projekte

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

© 2024 DFG Kontakt / Impressum / Datenschutz