FR Informatik

Abschlussvortrag: Erweiterung des Theorembeweisers Pyres um Heuristiken auf Basis von Worteinbettungen

Bachelor-Abschlussvortrag

Betreuer: Prof. Dr. Claudia Schon

Ort: L1

Fachbereich Informatik

  • Schneidershof
  • 54293 Trier

Fachrichtungen

Rechtliches

Service

back-to-top nach oben