Tech Weeklies - Theorem proving: What, how and why? - Isabelle/HOL - 08/21 - Jan van Brügge

Игра Марио

Просмотров: 1 | Время: 54:41 | Голосов: +1 +1 | Скачать

Скачать клип Tech Weeklies - Theorem proving: What, how and why? - Isabelle/HOL - 08/21 - Jan van Brügge