Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 7 von 7
    Datensatz exportieren als...
  • BibTeX
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings [Elektronische Ressource]
2014

Details

Autor(en) / Beteiligte
Titel
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings [Elektronische Ressource]
Ort / Verlag
Cham : Springer International Publishing
Erscheinungsjahr
2014
Link zum Volltext
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 9783319062518
DOI: 10.1007/978-3-319-06251-8
OCLC-Nummer: 885336662, 885336662
Titel-ID: 990203737520206441
Format
XII, 463 p. 28 illus
Schlagworte
Relationenalgebra, Kleene-Algebra, Algebraische Methode, Mathematische Logik, Algebraische Spezifikation, HOL, Isabelle, Programmverifikation, Computer science, Software engineering, Logic design, Computational complexity, Algebra, Artificial intelligence