Heuristiken zum Beweisen von Gleichungen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Heuristiken zum Beweisen von Gleichungen

Autexier, S. (1996). Heuristiken zum Beweisen von Gleichungen. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABDE-A Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACF0-2

Genre: Hochschulschrift

ausblenden:

Urheber:
Autexier, Serge¹, Autor

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

ausblenden:

Sprache(n): deu - German

Datum: Geändert: 2010-03-12Angenommen: 1996Erschienen: 1996

Publikationsstatus: Erschienen

Seiten: -

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

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519800
Anderer: Local-ID: C1256104005ECAFC-B7C3F400910DEF02C1256A2300523C66-AutexierDipl96

Art des Abschluß: Master

Datensatz