Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Anmelden
Neuer Katalog (Beta-Version)
Weitere Infos
Universitätsbibliothek
Katalog
Suche
im Katalog
Katalog
Central Discovery Index
Alle Felder
Autor(en) / Beteiligte
Titel
Schlagwort
Verlag / Erscheinungsort
Erscheinungsjahr
Identifikatoren
Signatur
Systemstelle
ID der Überordnung
Alle Felder
Autor(en) / Beteiligte
Titel
Schlagwort
Verlag / Erscheinungsort
Erscheinungsjahr
Identifikatoren
Signatur
Systemstelle
ID der Überordnung
1 – 10 von 13
Sortiert nach
Relevanz
Relevanz
Autor / Autorin
Erscheinungsjahr
Systemstelle
Titel
Bandzählung
Neuerwerbung
Beim Laden der Verfügbarkeitsinformationen ist ein Fehler aufgetreten. Bitte versuchen Sie es zu einem späteren Zeitpunkt erneut.
The structure of relation algebras generated by relativizations
Contemporary mathematics : 156
(
Alle Bände
)
Givant, Steven R.
1994
Bitte anmelden um Merklisten zu nutzen
Relationen und Graphen
Mathematik für Informatiker
Schmidt, Gunther
;
Ströhlein, Thomas
1989
Bitte anmelden um Merklisten zu nutzen
Funktionen- und Relationenalgebren : ein Kapitel der diskreten Mathematik
Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften : Mathematische Reihe : 67
(
Alle Bände
)
Poeschel, Reinhard
;
Kalužnin, Lev A.
1979
Bitte anmelden um Merklisten zu nutzen
Decision problems for equational theories of relation algebras
Memoirs of the American Mathematical Society : 604
(
Alle Bände
)
Andréka, Hajnal
;
Givant, Steven R.
;
Németi, István
1997
Bitte anmelden um Merklisten zu nutzen
Ordnungen, Verbände und Relationen mit Anwendungen : Studium [Elektronische Ressource]
Berghammer, Rudolf
2008
Direkt zur Online-Ressource
Bitte anmelden um Merklisten zu nutzen
Universal algebra, algebraic logic, and databases
Mathematics and its applications : 272
(
Alle Bände
)
Plotkin, Boris Isaakovič
1994
Bitte anmelden um Merklisten zu nutzen
Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germ [Elektronische Ressource]
Lecture Notes in Computer Science : 4988
Berghammer, Rudolf
;
Möller, Bernhard
;
Struth, Georg
2008
Direkt zur Online-Ressource
Bitte anmelden um Merklisten zu nutzen
Relations and Kleene Algebra in Computer Science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK [Elektronische Ressource]
Lecture Notes in Computer Science : 4136
Schmidt, Renate A.
2006
Direkt zur Online-Ressource
Bitte anmelden um Merklisten zu nutzen
Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers [Elektronische Ressource]
Berghammer, Rudolf
;
Möller, Bernhard
;
Struth, Georg
2004
Direkt zur Online-Ressource
Bitte anmelden um Merklisten zu nutzen
Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin [Elektronische Ressource]
Lecture Notes in Computer Science : 3929
MacCaull, Wendy
;
Düntsch, Ivo
;
Winter, Michael
2006
Direkt zur Online-Ressource
Bitte anmelden um Merklisten zu nutzen
Suche teilen
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Art des Mediums
Online-Ressource
(8)
Gedruckt
(5)
Mehr anzeigen...
Weniger anzeigen...
Autor / Autorin
Berghammer, Rudolf
(3)
Givant, Steven R.
(2)
Kahl, Wolfram
(2)
Möller, Bernhard
(2)
Struth, Georg
(2)
Andréka, Hajnal
(1)
Düntsch, Ivo
(1)
Griffin, Timothy G.
(1)
Höfner, Peter
(1)
Jipsen, Peter
(1)
Kalužnin, Lev A.
(1)
MacCaull, Wendy
(1)
Müller, Martin Eric
(1)
Németi, István
(1)
Plotkin, Boris Isaakovič
(1)
Poeschel, Reinhard
(1)
Schmidt, Gunther
(1)
Schmidt, Renate A.
(1)
Ströhlein, Thomas
(1)
Swart, Harrie
(1)
Mehr anzeigen...
Weniger anzeigen...
Erscheinungsform
Buch
(13)
Mehr anzeigen...
Weniger anzeigen...
Schlagwort
Relationenalgebra
(13)
Algebra
(8)
Artificial intelligence
(7)
Computer science
(7)
Kleene-Algebra
(7)
Software engineering
(7)
Logic design
(5)
Mathematische Logik
(5)
Computational complexity
(4)
Algebraische Methode
(3)
Algebraische Spezifikation
(3)
HOL
(2)
Isabelle
(2)
Programmverifikation
(2)
Computer simulation
(1)
Datenbanksystem
(1)
Diskrete Mathematik
(1)
Entscheidbarkeit
(1)
Funktionenalgebra
(1)
Information theory
(1)
Mehr anzeigen...
Weniger anzeigen...
Erscheinungsjahr
n.n
n.n
Ergebnisse filtern
Neu hinzugefügt
... in den letzten 12 Monaten
(7)
... in den letzten 3 Monaten
(7)
... im letzten Monat
(4)
Sprache
Englisch
(6)
Deutsch
(2)
Mehr anzeigen...
Weniger anzeigen...
Systemstelle
TBR
(2)
TDB
(1)
TDW
(1)
TEH
(1)
TWY
(1)
Mehr anzeigen...
Weniger anzeigen...
Art des Inhalts
Sonstiges
(13)
Mehr anzeigen...
Weniger anzeigen...
