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
Details
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]
MacCaull, Wendy
;
Düntsch, Ivo
;
Winter, Michael
2006
Direkt zur Online-Ressource
Bitte anmelden um Merklisten zu nutzen
Details
Autor(en) / Beteiligte
MacCaull, Wendy
;
Düntsch, Ivo
;
Winter, Michael
Titel
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]
Erscheinungsort / Verlag
Berlin Heidelberg : Springer-Verlag GmbH.
Erscheinungsjahr
2006
Link zum Volltext
http://dx.doi.org/10.1007/11734673
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Link-Resolver
Sprache
–
Identifikatoren
ISBN: 9783540333401
OCLC-Nummer: 1074060005
Titel-ID: 990018151910106463
Format
–
Schlagworte
Relationenalgebra
,
Kleene-Algebra
,
Algebra
,
Artificial intelligence
,
Computational complexity
,
Computer science
,
Logic design
,
Software engineering