|
ВИДЕОТЕКА |
Международная конференция «Logical Models of Reasoning and Computation»
|
|||
|
Solving Fixed-points with Theories: From program logics, to logic programs, to logic engines Nikolaj Bjorner Microsoft Research, Redmond |
|||
Язык доклада: английский |