Sonstiges: Locating and presenting lexical references in a theorem prover

[mennicken22bachelorarbeit]

Joscha Mennicken, Locating and presenting lexical references in a theorem prover, April 2022.

Download

[PDF]

BibTeX

@misc{mennicken22bachelorarbeit,
  title = {Locating and presenting lexical references in a theorem prover},
  year = {2022},
  month = apr,
  author = {Joscha Mennicken},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Institutsinterne Autoren

Studenten
Joscha Mennicken

Bachelor- und Masterarbeiten

Lokalisierung & Darstellung von lexikalischen Referenzen in einem Theorembeweiser