Sortiert nach
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...
1st ed. 2014, 2014
- Link zum Volltext
2014
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
Erscheinungsform
Schlagwort
- Artificial intelligence
- Computer science
- Software engineering
- Algebra
- Algebraische Methode
- Algebraische Spezifikation
- Artificial Intelligence
- Computational complexity
- Computer Science Logic and Foundations of Programming
- Computer science—Mathematics
- Discrete Mathematics in Computer Science
- Discrete mathematics
- Formal Languages and Automata Theory
- HOL
- Isabelle
- Kleene-Algebra
- Logic design
- Machine theory
- Mathematische Logik
- Programmverifikation
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts