Logo Logo

Hochschulschrift von Ratiu, Diana

Anzahl der Einträge: 1.

Ratiu, Diana (2011): Refinement of Classical Proofs for Program Extraction. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Diese Liste wurde am Fri May 9 21:35:46 2025 CEST erstelt.