Artificial Intelligence and Domain-Specific Languages for Interactive Theorem Proving

Yutaka Nagashima
PhD thesis, University of Innsbruck 2021.

abstract   BibTeX   PDF  
Copyright: the author