Constraint Network Satisfaction for Finite Relation Algebras

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.

Treffer 1 von 164


Link zu diesem Datensatz	https://d-nb.info/1290403775
Titel	Constraint Network Satisfaction for Finite Relation Algebras / Simon Knäuer ; Gutachter: Manuel Bodirsky, Andrei A. Bulatov ; Betreuer: Manuel Bodirsky
Person(en)	Knäuer, Simon (Verfasser) Bodirsky, Manuel (Akademischer Betreuer) Bodirsky, Manuel (Gutachter) Bulatov, Andrei A. (Gutachter)
Verlag	Dresden : Technische Universität Dresden
Zeitliche Einordnung	Erscheinungsdatum: 2023
Umfang/Format	Online-Ressource
Hochschulschrift	Dissertation, Dresden, Technische Universität Dresden, 2023
Persistent Identifier	URN: urn:nbn:de:bsz:14-qucosa2-855036
URL	(kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
Schlagwörter	Algebra* ; Relationenalgebra* ; Computeralgebra* ; Kleene-Algebra* ; Mathematische Logik* (*maschinell ermittelt)
DDC-Notation	511.3 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n)	510 Mathematik

Online-Zugriff

Archivobjekt öffnen

Treffer 1 von 164

Korrekturanfrage