Überblick

Hauptsachtitel

Tableaux between proving, projection and compilation

Person

aut Wernhard, Christoph

Körperschaft

-

Umfang

31 S.

Erscheinungsjahr

2007

Ländercode

XA-DE

Material

text

Erscheinungsort

Koblenz

Verlag

Inst. für Informatik

Schlagwort

655 Forschungsbericht 4155043-2

Klassifikation

DDC004

Standard-Identifier

OCLC184998201 EKIDNB984970304

Verlags-Identifier

-

Export

MARCXML RDF

Cluster

Cluster anzeigen