Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: swmRef=043254756
Link zu diesem Datensatz | https://d-nb.info/1175951404 |
Titel | Automatisiertes Finden von Gegenbeispielen algebraischer und formalsprachlicher Eigenschaften / Eric Förster |
Person(en) | Förster, Eric (Verfasser) |
Verlag | Stuttgart : Universitätsbibliothek der Universität Stuttgart |
Zeitliche Einordnung | Erscheinungsdatum: 2018 |
Umfang/Format | Online-Ressource |
Hochschulschrift | Bachelorarbeit, Stuttgart, Universität Stuttgart |
Persistent Identifier |
URN: urn:nbn:de:bsz:93-opus-ds-102169 DOI: 10.18419/opus-10199 |
URL | (kostenfrei zugänglich) |
Sprache(n) | Deutsch (ger) |
Schlagwörter | Halbgruppe* ; Unterhalbgruppe* ; Monoid* ; Varietät <Mathematik>* ; Eigenschaft* ; Gegenbeispiel* (*maschinell ermittelt) |
DDC-Notation | 515.8 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 510 Mathematik |
Online-Zugriff | Archivobjekt öffnen |