Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Checking Geometric Programs or Verification of Geometric Structures

Mehlhorn, K., Näher, S., Schilz, T., Schirra, S., Seel, M., Seidel, R., et al. (1996). Checking Geometric Programs or Verification of Geometric Structures. In 12th Annual ACM Symposium on Computational Geometry (SCG 96) (pp. 159-165). New York: ACM.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Mehlhorn, Kurt1, Autor           
Näher, Stefan1, Autor           
Schilz, Thomas1, Autor           
Schirra, Stefan1, Autor           
Seel, Michael1, Autor           
Seidel, Raimund, Autor
Uhrig, Christian1, Autor           
Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2006-08-231996
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: New York : ACM
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 344418
Anderer: Local-ID: C1256428004B93B8-9F353E46955396A7C125642F00534277-Mehlhorn-et-al-1-96
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Philadelphia, PA, USA
Start-/Enddatum: 1996-05-24

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: 12th Annual ACM Symposium on Computational Geometry (SCG 96)
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: New York : ACM
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 159 - 165 Identifikator: ISBN: 0-89791-832-0