| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Международная конференция «Logical Models of Reasoning and Computation»
|
|||
|
|
|||
|
Z3 - An Efficient Satisfiability Modulo Theories solver: Foundations and Applications Nikolaj Bjorner Microsoft Research, Redmond |
|||
|
Язык доклада: английский |
|||