From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
{{eng}} ;{{SpeakerInfo}}: {{Speaker|Nikolaj Bjørner}} <blockquote> </blockquote> {{VideoSection}} {{vimeoembed|378874905|800|450}} {{youtubelink|}}{{letscomment}} {{SlidesSection}} [[File:From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019).pdf|left|page=-|300px]] {{----}} [[File:{{#setmainimage:From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)!.jpg}}|center|640px]] {{LinksSection}} <!-- * [ Talks page on site] --> |
Версия 05:59, 26 декабря 2019
- Speaker
- Nikolaj Bjørner
Video
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.