Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
preprocessing function » processing functions, processing fiction, processing functional
hol preprocessing » log preprocessing, cost preprocessing, real preprocessing
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel hol » parallel half, parallel hpc, parallel co
preprocessing function » processing functions, processing fiction, processing functional
hol preprocessing » log preprocessing, cost preprocessing, real preprocessing
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel hol » parallel half, parallel hpc, parallel co
1
Udgivet 2013
Indholdsfortegnelse:
“... and Preprocessing -- Partial Backtracking in CDCL Solvers -- Lemma Mining over HOL Light -- On Module-Based...”Få fuldtekst
Electronisk
eBog
