Skip to main content
Edoweb
Sie sind hier
Startseite
Volltexte
Filter (Auswahl)
Wernhard, Christoph
[x]
Universität Koblenz-Landau. Institut für Informatik
[x]
Sacherschließung
Information und Dokumentation
(2)
Informatik, Kybernetik
(2)
Informatik
(2)
Objektart
Monografie
(2)
Publikationstyp
Monografie
(1)
Buch
(1)
Medium
Print
(1)
Online-Ressource
(1)
Datenträger
(1)
Erscheinungsjahr
Person/Institution
Pelzer, Björn
(1)
2 Treffer
Titel
ID
E-Jahr
Zugriff
Objektart
Operations
Tableaux between proving, projection and compilation
HT015230644
Monografie
System description: E-KRHyper
HT015727315
Monografie