Skip to main content
Edoweb
Sie sind hier
Startseite
Volltexte
Filter (Auswahl)
Monografie
[x]
Sacherschließung
Information und Dokumentation
(2)
Informatik, Datenverarbeitung
(2)
Informatik
(2)
Objektart
Publikationstyp
Buch
(2)
Medium
Print
(1)
Online-Ressource
(1)
Datenträger
(1)
Erscheinungsjahr
Person/Institution
Wernhard, Christoph
(2)
Universität Koblenz-Landau. Institut für Informatik
(2)
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