Hochschulschrift
Construction and stochastic applications of measure spaces in higher-order logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
VII, 110 S.
- Sprache
-
Englisch
- Anmerkungen
-
München, Techn. Univ., Diss., 2013 (Nicht für den Austausch)
- Urheber
-
Hölzl, Johannes
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:49 MESZ
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
- Hölzl, Johannes
Ähnliche Objekte (12)
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Higher-order constraint logic programming
Learning higher-order logic programs
Higher-Order Logic and Disquotational Truth
A logic of higher-order preferences
Stochastic coalgebraic logic
Topos semantics for higher-order modal logic
Extremal fixpoints for higher-order modal logic
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Automatic proofs and refutations for higher-order logic
Combining Higher-Order Logic with Set Theory Formalizations
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Higher-order constraint logic programming
Learning higher-order logic programs
Higher-Order Logic and Disquotational Truth
A logic of higher-order preferences
Stochastic coalgebraic logic
Topos semantics for higher-order modal logic
Extremal fixpoints for higher-order modal logic
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Automatic proofs and refutations for higher-order logic
Combining Higher-Order Logic with Set Theory Formalizations
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Higher-order constraint logic programming
Learning higher-order logic programs
Higher-Order Logic and Disquotational Truth
A logic of higher-order preferences
Stochastic coalgebraic logic
Topos semantics for higher-order modal logic
Extremal fixpoints for higher-order modal logic
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Automatic proofs and refutations for higher-order logic