Skip to main content
Edoweb
Sie sind hier
Startseite
Volltexte
Filter (Auswahl)
Sacherschließung
Information und Dokumentation
(2)
Informatik, Datenverarbeitung
(2)
Informatik
(2)
Objektart
Monografie
(2)
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
