Treffer: Semiring extensions for model counting and model sampling

Titel:
Semiring extensions for model counting and model sampling / Andreas Goral ; Gutachter: Joachim Giesen, Sören Laue
Veröffent­licht:
Jena : Friedrich-Schiller-Universität Jena, 2024
Umfang:
1 Online-Ressource (154 Seiten)
Publikationstyp:
E-Book
Sprache:
Deutsch
Hochschul­schrift:
Dissertation, Jena, Friedrich-Schiller-Universität Jena, 2024
Schlagworte: