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...
2017
2011
2013
2013
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Kleine Büning, Hans
- Börger, Egon
- Kastens, Uwe
- Richter, Michael M
- Workshop on Computer Science Logic
- Lettmann, Theodor
- Meyer auf der Heide, Friedhelm
- Niggemann, Oliver
- Wehrheim, Heike
- Jäger, Gerhard
- Rammig, Franz Josef
- Schmitgen, Stefan
- Baumann, Michael
- Büning, Hans Kleine
- Eberling, Markus
- Flögel, Andreas
- Guericke, Daniela
- Hamann, Heiko
- Hüllermeier, Eyke
- Ibrahim, Emad Monier Mosaad
Erscheinungsform
Schlagwort
- Computer logic
- Logics and Meanings of Programs
- Mathematical logic
- Mathematical Logic and Formal Languages
- Mathematical Logic and Foundations
- Modellierung
- Algorithms
- Artificial intelligence
- Computers
- Theory of Computation
- Algorithm Analysis and Problem Complexity
- Architecture, Computer
- Artificial Intelligence
- Computer System Implementation
- Engineering
- Operating systems (Computers)
- Programming Languages, Compilers, Interpreters
- Programming languages (Electronic computers)
- Software Engineering/Programming and Operating Systems
- Software engineering
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts