Other Publications: Locating and presenting lexical references in a theorem prover

[mennicken22bachelorarbeit]

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

Download

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},
}

Authors at the institute

Students
Joscha Mennicken

Bachelor and Masters theses

Localizing & Presenting Lexical References in a Theorem Prover