Скачать
KEMS - A KE-based Multi-Strategy Theorem Prover (a NotebookLM generated podcast episode)
Автор: Elixir, Erlang, the BEAM (and Lean)
Загружено: 2024-12-23
Просмотров: 23
Описание:
This podcast episode was created by NotebookLM, based on my doctoral thesis defended in 2017.
My Doctoral Thesis at Teses USP https://www.teses.usp.br/teses/dispon...
Website: https://www.ime.usp.br/~adolfo/KEMS/
Source code: https://github.com/adolfont/KEMS
NotebookLM https://notebooklm.google.com/
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
