Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
function function » function functional, functions functional, function dysfunction
pattern function » patterns function, pattern functional, patterson functions
function https » functions https, fiction https
parallel hol » parallel half, parallel hpc, parallel co
hol pattern » holes pattern, sdl pattern, local pattern
function function » function functional, functions functional, function dysfunction
pattern function » patterns function, pattern functional, patterson functions
function https » functions https, fiction https
parallel hol » parallel half, parallel hpc, parallel co
hol pattern » holes pattern, sdl pattern, local pattern
1
Опубликовано 2015
Оглавление:
“... in Isabelle/HOL -- Formalizing Knot Theory in Isabelle/HOL -- Pattern Matches in HOL: A New Representation...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2013
Оглавление:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Полный текст
Электронный ресурс
eКнига