Überblick

Hauptsachtitel

Tableaux between proving, projection and compilation

Person

aut Wernhard, Christoph

Körperschaft

oth Universität Koblenz-Landau

Erscheinungsjahr

2007

Ländercode

XA-DE

Material

text

Erscheinungsort

Koblenz

Verlag

Inst. für Informatik

Klassifikation

DDC004

Standard-Identifier

OCLC1073197544 EKIHBZHT015230644

Verlags-Identifier

-

Export

MARCXML RDF

Cluster

Cluster anzeigen