Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Nikolaj Bjørner}} <blockquote> </blockquote> {{VideoSection}} {{vimeoembed||800|450}} {{youtubelink|}}{{letscomment}} {{SlidesSect…») |
StasFomin (обсуждение | вклад) |
||
;{{SpeakerInfo}}: {{Speaker|Nikolaj Bjørner}} <blockquote> </blockquote> {{VideoSection}} {{vimeoembed|378882594|800|450}} {{youtubelink|}}{{letscomment}} {{SlidesSection}} [[File:Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019).pdf|left|page=-|300px]] {{----}} [[File:{{#setmainimage:Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)!.jpg}}|center|640px]] {{LinksSection}} <!-- * [ Talks page on site] --> <!-- <blockquote>[©]</blockquote> --> <references/> <!-- topub --> [[Категория:ISPRASOPEN-2019]] [[Категория:Draft]] |
Версия 16:26, 15 декабря 2019
- Докладчик
- Nikolaj Bjørner
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.