Geometrisches Schließen mit SPASS

Local TagsRelease HistoryDetailsSummary

Geometrisches Schließen mit SPASS

Brinker, C. (2000). Geometrisches Schließen mit SPASS. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3435-D Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD11-1

Genre: Thesis

show

show

hide

Creators:
Brinker, Christof¹, Author

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

show

show

hide

Language(s): deu - German

Dates: Modified: 2010-03-12Accepted: 2000Date issued: 2000

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519761
Other: Local-ID: C1256104005ECAFC-91A3AF0863304A8BC12568AE0069B365-Brinker2000

Degree: Master

show

show

show

show