HOME
|
DEUTSCH
|
IMPRESSUM
|
KIT
Programming paradigms group - IPD Snelting
About us
People
Publications
by year
by category
Projects
Courses
Jobs
Theses
Contact/Location
Ph.D. thesis: An Extensible Theorem Proving Frontend
[ullrich23thesis]
Sebastian Andreas Ullrich,
An Extensible Theorem Proving Frontend
, Karlsruher Institut für Technologie, Fakultät für Informatik, 2023.
Download
[
PDF
]
[
DOI
]
BibTeX
@phdthesis{ullrich23thesis, title = {An Extensible Theorem Proving Frontend}, year = {2023}, author = {Sebastian Andreas Ullrich}, school = {Karlsruher Institut f{\"u}r Technologie, Fakult{\"a}t f{\"u}r Informatik}, doi = {10.5445/IR/1000161074}, }