Joscha Mennicken

	Kontakt

Veröffentlichungen

2022

• Locating and presenting lexical references in a theorem prover
  April 2022 : J. Mennicken

Bearbeitete Studien- und Abschlussarbeiten

• Lokalisierung & Darstellung von lexikalischen Referenzen in einem Theorembeweiser (abgeschlossen), Bachelorarbeit