First-order Proof Documentation

Lokale TagsFreigabegeschichteDetailsÜbersicht

First-order Proof Documentation

Dreßler, C. (2007). First-order Proof Documentation. Bachelor Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-A460-3 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-A461-1

Genre: Hochschulschrift

ausblenden:

Urheber:
Dreßler, Christian¹, Autor

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

ausblenden:

Sprache(n): eng - English

Datum: Angenommen: 2007-12-30Erschienen: 2007

Publikationsstatus: Erschienen

Seiten: IV, 52 p.

Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: Dressler2007Bachelor

Art des Abschluß: Bachelor

Datensatz