https://www.dagstuhl.de/97172

21. – 25. April 1997, GI-Dagstuhl-Seminar 97172

Beweisverifikation und Approximationsalgorithmen

Organisator

E. W. Mayr (TU-München), H. J. Prömel (HU-Berlin), A. Steger (TU-München)

Auskunft zu diesem GI-Dagstuhl-Seminar erteilt

Heike Clemens

Dokumente

Dagstuhl's Impact: Dokumente verfügbar
Externe Homepage

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.