Hochschulschrift
An approach to the extension of a theorem prover by advanced structuring mechanisms
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832525026
- Dimensions
-
24 cm
- Extent
-
229 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Bremen, Univ., Diss., 2010
- Keyword
-
HOL
Isabelle
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Logos-Verl.
- (when)
-
2010
- Creator
-
Bortin, Maksym
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:14 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Bortin, Maksym
- Logos-Verl.
Time of origin
- 2010
Other Objects (12)
Extension d'un theorème de Monge.
On the Ohsawa–Takegoshi Extension Theorem
Lipschitz extension theorems with explicit constants
Sur l´extension du théorème de descartes.
Extension of a theorem in plane geometry.
Extension of positive operators and Korovkin theorems
Extension of a theorem due to Ramanujan
A further extension of the KKMS theorem
Ultraholomorphic extension theorems in the mixed setting
EXTENSION THEOREMS FOR THE MATKOWSKI-SUTO PROBLEM
AN EXTENSION OF A THEOREM OF FLETT
On some extension of Paley Wiener theorem
Extension d'un theorème de Monge.
On the Ohsawa–Takegoshi Extension Theorem
Lipschitz extension theorems with explicit constants
Sur l´extension du théorème de descartes.
Extension of a theorem in plane geometry.
Extension of positive operators and Korovkin theorems
Extension of a theorem due to Ramanujan
A further extension of the KKMS theorem
Ultraholomorphic extension theorems in the mixed setting
EXTENSION THEOREMS FOR THE MATKOWSKI-SUTO PROBLEM
AN EXTENSION OF A THEOREM OF FLETT
On some extension of Paley Wiener theorem
Extension d'un theorème de Monge.
On the Ohsawa–Takegoshi Extension Theorem
Lipschitz extension theorems with explicit constants
Sur l´extension du théorème de descartes.
Extension of a theorem in plane geometry.
Extension of positive operators and Korovkin theorems
Extension of a theorem due to Ramanujan
A further extension of the KKMS theorem
Ultraholomorphic extension theorems in the mixed setting
EXTENSION THEOREMS FOR THE MATKOWSKI-SUTO PROBLEM
AN EXTENSION OF A THEOREM OF FLETT