- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Archive of Formal Proofs, 31.01.2020, S. 1-79
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2020
- Event
-
Veröffentlichung
- (who)
-
Isabelle AFP
- (when)
-
2020
- Creator
- URN
-
urn:nbn:de:bvb:384-opus4-911468
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:37 AM 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.
Associated
- Guttmann, Walter
- Möller, Bernhard
- Universität Augsburg
- Isabelle AFP
Time of origin
- 2020
Other Objects (12)
A hierarchy of algebras for Boolean subsets
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Characterizing Determinacy in Kleene Algebras
Characterizing determinacy in Kleene algebras
Algebras of modal operators and partial correctness
Der Beitrag der Biowissenschaften zur Pädagogik
Laboratory facilities as centres for educational practice and research
Von der Schulanstalt zur Schulunternehmung oder Wer soll die Bildungsreform bezahlen? : eine Einf. in d. Mikroökonomie d. emanzipierten Schule
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 3.. Großherzogtum Sachsen(-Weimar-Eisenach), Landesteil Eisenach / bearb. von Bernhard Möller
Analytische Unterrichtsmodelle : Ergebnisse u. Probleme d. wissenschaftl. Lernorganisation
A hierarchy of algebras for Boolean subsets
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Characterizing Determinacy in Kleene Algebras
Characterizing determinacy in Kleene algebras
Algebras of modal operators and partial correctness
Der Beitrag der Biowissenschaften zur Pädagogik
Laboratory facilities as centres for educational practice and research
Von der Schulanstalt zur Schulunternehmung oder Wer soll die Bildungsreform bezahlen? : eine Einf. in d. Mikroökonomie d. emanzipierten Schule
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 3.. Großherzogtum Sachsen(-Weimar-Eisenach), Landesteil Eisenach / bearb. von Bernhard Möller
Analytische Unterrichtsmodelle : Ergebnisse u. Probleme d. wissenschaftl. Lernorganisation
A hierarchy of algebras for Boolean subsets
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Characterizing Determinacy in Kleene Algebras
Characterizing determinacy in Kleene algebras
Algebras of modal operators and partial correctness
Der Beitrag der Biowissenschaften zur Pädagogik
Laboratory facilities as centres for educational practice and research
Von der Schulanstalt zur Schulunternehmung oder Wer soll die Bildungsreform bezahlen? : eine Einf. in d. Mikroökonomie d. emanzipierten Schule
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
Thüringer Pfarrerbuch, Bd. 3.. Großherzogtum Sachsen(-Weimar-Eisenach), Landesteil Eisenach / bearb. von Bernhard Möller