Партнёр:
Предмет:
Лектор:John Harrison
Курс лекций: A survey of automated theorem proving
Embedded video for A survey of automated theorem proving. Lecture 3
Введите адрес назначения (URL)
Или сделайте ссылку на существующий материал