- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Ludwig-Maximilians-Universität, Diss., 2011
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der Ludwig-Maximilians-Universität
- (wann)
-
2011
- Urheber
-
Ratiu, Diana
- Beteiligte Personen und Organisationen
-
Schwichtenberg, Helmut
- URN
-
urn:nbn:de:bvb:19-135054
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Ratiu, Diana
- Schwichtenberg, Helmut
- Universitätsbibliothek der Ludwig-Maximilians-Universität
Entstanden
- 2011
Ähnliche Objekte (12)
Operation refinement proofs for VDM-like specifications
Program extraction from coinductive proofs and its application to exact real arithmetic
Deep inference and symmetry in classical proofs
Existence proofs by induction using methods of program synthesis
Analysis of methods for extraction of programs from non-constructive proofs
On the extraction of computational content from noneffective convergence proofs in analysis
Program development by refinement : case studies using the B method
Encoding induction in correctness proofs of program transformations as a termination problem
Proofs of program properties via unfold, fold transformations of constraint logic programs
Reusing Proofs
Building information extraction and refinement from VHR satellite imagery using deep learning techniques
A hybrid approach to extraction and refinement of building footprints from airborne lidar data
Operation refinement proofs for VDM-like specifications
Program extraction from coinductive proofs and its application to exact real arithmetic
Deep inference and symmetry in classical proofs
Existence proofs by induction using methods of program synthesis
Analysis of methods for extraction of programs from non-constructive proofs
On the extraction of computational content from noneffective convergence proofs in analysis
Program development by refinement : case studies using the B method
Encoding induction in correctness proofs of program transformations as a termination problem
Proofs of program properties via unfold, fold transformations of constraint logic programs
Reusing Proofs
Building information extraction and refinement from VHR satellite imagery using deep learning techniques
A hybrid approach to extraction and refinement of building footprints from airborne lidar data
Operation refinement proofs for VDM-like specifications
Program extraction from coinductive proofs and its application to exact real arithmetic
Deep inference and symmetry in classical proofs
Existence proofs by induction using methods of program synthesis
Analysis of methods for extraction of programs from non-constructive proofs
On the extraction of computational content from noneffective convergence proofs in analysis
Program development by refinement : case studies using the B method
Encoding induction in correctness proofs of program transformations as a termination problem
Proofs of program properties via unfold, fold transformations of constraint logic programs
Reusing Proofs
Building information extraction and refinement from VHR satellite imagery using deep learning techniques