학술논문
The Isabelle ENIGMA
Document Type
Conference Paper
Source
In: Leibniz International Proceedings in Informatics, LIPIcs , 13th International Conference on Interactive Theorem Proving, ITP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 August 2022, 237)
Subject
Language
English
ISSN
18688969