Monografie
Construction and stochastic applications of measure spaces in higher-order logic
- Sprache
-
Englisch
- Umfang
-
VII, 110 S.
- Anmerkungen
-
München, Techn. Univ., Diss., 2013 (Nicht für den Austausch)
- Identifier
-
1036707458
Thema
Hochschulschrift
Beteiligte Personen und Organisationen
Hölzl, Johannes
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:50 MESZ
Objekttyp
- Monografie
Beteiligte
- Hölzl, Johannes
Ähnliche Objekte (12)
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Automatic proofs and refutations for higher-order logic
Counterexample generation for higher-order logic using functional and logic programming
Proving theorems of higher-order logic with SMT solvers
Diffusive heat transport across magnetic islands and stochastic layers in tokamaks
Higher-order predictions for supersymmetric particle decays
Methods for higher order numerical simulations of complex inviscid fluids with immersed boundaries
Stochastic and deterministic methods for 3D shape registration
Code generation from specifications in higher-order logic
The structure of nonchiral topological order
Essays on persistence in growth rates and the success of the British Premium Bond
Random forests for medical applications
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Automatic proofs and refutations for higher-order logic
Counterexample generation for higher-order logic using functional and logic programming
Proving theorems of higher-order logic with SMT solvers
Diffusive heat transport across magnetic islands and stochastic layers in tokamaks
Higher-order predictions for supersymmetric particle decays
Methods for higher order numerical simulations of complex inviscid fluids with immersed boundaries
Stochastic and deterministic methods for 3D shape registration
Code generation from specifications in higher-order logic
The structure of nonchiral topological order
Essays on persistence in growth rates and the success of the British Premium Bond
Random forests for medical applications
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Automatic proofs and refutations for higher-order logic
Counterexample generation for higher-order logic using functional and logic programming
Proving theorems of higher-order logic with SMT solvers
Diffusive heat transport across magnetic islands and stochastic layers in tokamaks
Higher-order predictions for supersymmetric particle decays
Methods for higher order numerical simulations of complex inviscid fluids with immersed boundaries
Stochastic and deterministic methods for 3D shape registration
Code generation from specifications in higher-order logic
The structure of nonchiral topological order
Essays on persistence in growth rates and the success of the British Premium Bond