Vortrag: Syntax und Semantik beim Beweisen

Stammdaten
Titel: Syntax und Semantik beim Beweisen
Beschreibung:
Schlagworte:
Typ: Gastvortrag
Homepage: -
Veranstaltung: Gastaufenthalt an der Universität Magdeburg (Universität Magdeburg)
Datum: 29.06.2011
Vortragsstatus:

Beteiligte
Gert Kadunz
Gert.Kadunz@aau.at
Forschungsaktivitäten
zur Visitenkarte
(intern)
  • Vortragende/r

Zuordnung
Organisation Adresse
Fakultät für Technische Wissenschaften
  Institut für Mathematik
Universitätsstraße 65-67
9020 Klagenfurt am Wörthersee
Österreich
   math@aau.at
https://www.aau.at/mathematik
zur Organisation
Universitätsstraße 65-67
AT - 9020  Klagenfurt am Wörthersee

Kategorisierung
Sachgebiete
Forschungscluster Kein Forschungscluster ausgewählt
Vortragsfokus
  • Science to Science (Qualitätsindikator: II)
Klassifikationsraster der zugeordneten Organisationseinheiten:
TeilnehmerInnenkreis
  • Überwiegend international
Publiziert?
  • Nein
Arbeitsgruppen Keine Arbeitsgruppe ausgewählt

Kooperationen
Keine Partnerorganisation ausgewählt