Überblick

Hauptsachtitel

Tableaux between proving, projection and compilation

Person

aut Wernhard, Christoph

Körperschaft

oth Universität Koblenz-Landau

Umfang

31 S. : graph. Darst.

Erscheinungsjahr

2007

Ländercode

XA-DE

Material

text

Erscheinungsort

Koblenz

Verlag

Inst. für Informatik

Standard-Identifier

OCLC184998201 EKIHBZHT015217694

Verlags-Identifier

-

Export

MARCXML RDF

Cluster

Cluster anzeigen