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…») |
(нет различий)
|
Версия 16:02, 15 декабря 2019
- Докладчик
- Nikolaj Bjørner
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
!.jpg)