Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="ro"
Treffer 99458 von 275137
|
|
| Link zu diesem Datensatz | https://d-nb.info/1270139851 |
| Titel | Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals / Miika Hannula, Jonni Virtema |
| Person(en) |
Hannula, Miika (Verfasser) Virtema, Jonni (Verfasser) |
| Verlag | Hannover : Gottfried Wilhelm Leibniz Universität Hannover - Hannover : Technische Informationsbibliothek (TIB) |
| Zeitliche Einordnung | Erscheinungsdatum: 2022 |
| Umfang/Format | Online-Ressource |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2022101302112373678319 DOI: 10.15488/12824 |
| URL | https://www.repo.uni-hannover.de/handle/123456789/12927 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | In: Hannula, M.; Virtema, J.: Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. In: Annals of pure and applied logic 173 (2022), Nr. 10, 103108. DOI: https://doi.org/10.1016/j.apal.2022.103108 |
| DDC-Notation | 004.01 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 99458 von 275137
Administration
