FR Informatik

Abschlussvortrag: Symbolnamen in mathematischen Beweisaufgaben: Nützliches Kontextwissen oder bedeutungslos für den Beweisprozess?

Bachelor-Abschlussvortrag

 

Betreuer: Prof. Dr. Claudia Schon, Prof. Dr. Hans-Peter Beise

Ort: L1

Fachbereich Informatik

  • Schneidershof
  • 54293 Trier

Fachrichtungen

Rechtliches

Service

back-to-top nach oben