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
Verantwortlich:
Veröffentlicht:
Jena : Friedrich-Schiller-Universität Jena, 2024
Umfang:
1 Online-Ressource (154 Seiten)
Publikationstyp:
Sprache:
Deutsch
Hochschulschrift:
Dissertation, Jena, Friedrich-Schiller-Universität Jena, 2024
Schlagworte: