Cluster-Suche

(DE-101)984970304 Einzel-Ansicht »

Ü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
Klassifikation: DDC004 DDC006.37
Sachgruppe: DNB004
Standard-Identifier: OCLC184998201 EKIDNB984970304
Verlags-Identifier: -
Export: MARCXML RDF

(DE-605)990159254560206441 Einzel-Ansicht »

Ü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

(DE-605)990159382230206441 Einzel-Ansicht »

Ü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

(DE-627)548146101 Einzel-Ansicht »

Ü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