Artificial Intelligence and Domain-Specific Languages for Interactive Theorem Proving
Yutaka NagashimaPhD thesis, University of Innsbruck 2021.
Abstract
BibTeX
@phdthesis{YN18,
author = "Yutaka Nagashima",
title = "Artificial Intelligence andDomain-Specific Languages
for Interactive Theorem Proving",
school = "University of Innsbruck",
year = 2021
}
Copyright: the author