KSW / Kennenlernen

PORTAL

Stiftung

Goethe
Entdecken
Forschen
Vermitteln
Über das Portal

Goethe
/
International Conference on Interactive Theorem Proving (8. : 2017 : Brasília)

International Conference on Interactive Theorem Proving (8. : 2017 : Brasília)

Bezüge im Wissensnetz

Veranstaltungsort (1)

GND

Brasília

Normdaten

KSW · RDF 1139909908

Wissenschaftsansicht →

VIAF · Virtual International Authority File 41150565517106251821

Eintrag öffnen →

GND · Gemeinsame Normdatei about

Eintrag öffnen →

Ihr Besuch

Ticketshop
Museumshop
Newsletter
FAQ
App Weimar+

Museen und Orte

Bauhaus-Museum Weimar
Herzogin Anna Amalia Bibliothek
Goethes Wohnhaus
Haus am Horn

Über uns

Profil
Ihre Unterstützung
Ansprechpartner
Stellenangebote
Ausschreibungen und Vergaben

Kontakt

Hinweisgeber-Meldestelle
AGB
Erklärung digitale Barrierefreiheit
Datenschutz
Impressum

Themen

Goethe, Schiller und die Weimarer Klassik
Moderne und Bauhaus
Schlösser und Gärten

© Klassik Stiftung Weimar

Die Klassik Stiftung Weimar wird gefördert von dem Beauftragten der Bundesregierung für Kultur und Medien aufgrund eines Beschlusses des Deutschen Bundestages sowie dem Freistaat Thüringen und der Stadt Weimar.

Cookie-Einstellungen