- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826529719
3826529715
- Dimensions
-
21 cm
- Extent
-
III, 194 S.
- Edition
-
Als Ms. gedr.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1997
- Keyword
-
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
1997
- Creator
-
Kolbe, Thomas
- 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, 1:34 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
- Kolbe, Thomas
- Shaker
Time of origin
- 1997
Other Objects (12)
Optimizing the machine learning techniques in the H → π analysis with CMS data
Automated Proof Search: The Aftermath
Optimizing 802.11 wireless communications with machine learning
Improving proof search in intuitionistic propositional logic
Generalizing, decoding, and optimizing support vector machine classification
Generalizing, Decoding, and Optimizing Support Vector Machine Classification
Optimizing rav1e: Effective profiling techniques and optimization strategies
Optimizing Enterprise Architectures Using Linear Integer Programming Techniques
A machine-checked proof of correctness of Pastry
Reconstructing arithmetic formulas using lower bound proof techniques
Proof search without backtracking for free variable tableaux
Proof search without backtracking for free variable tableaux
Optimizing the machine learning techniques in the H → π analysis with CMS data
Automated Proof Search: The Aftermath
Optimizing 802.11 wireless communications with machine learning
Improving proof search in intuitionistic propositional logic
Generalizing, decoding, and optimizing support vector machine classification
Generalizing, Decoding, and Optimizing Support Vector Machine Classification
Optimizing rav1e: Effective profiling techniques and optimization strategies
Optimizing Enterprise Architectures Using Linear Integer Programming Techniques
A machine-checked proof of correctness of Pastry
Reconstructing arithmetic formulas using lower bound proof techniques
Proof search without backtracking for free variable tableaux
Proof search without backtracking for free variable tableaux
Optimizing the machine learning techniques in the H → π analysis with CMS data
Automated Proof Search: The Aftermath
Optimizing 802.11 wireless communications with machine learning
Improving proof search in intuitionistic propositional logic
Generalizing, decoding, and optimizing support vector machine classification
Generalizing, Decoding, and Optimizing Support Vector Machine Classification
Optimizing rav1e: Effective profiling techniques and optimization strategies
Optimizing Enterprise Architectures Using Linear Integer Programming Techniques
A machine-checked proof of correctness of Pastry
Reconstructing arithmetic formulas using lower bound proof techniques
Proof search without backtracking for free variable tableaux