andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

November 29, 2021

Компьютерные доказательства и их понимание человеком: случай унивалентных оснований

Filed under: Uncategorized — Andrei Rodin @ 6:58 am

Доклад на конференции Интеллектуальные системы и компьютерные науки, МГУ, 29 ноября – 3 декабря 2021 (extended abstract)

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress