Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
{{eng}}
;{{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]] | |||
Версия 10:14, 16 декабря 2019
- Speaker
- Nikolaj Bjørner
Video
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Slides
!.jpg)