Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
progress state » process state, programs state, progress share
state function » stage function, state functional, state fiction
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java progress » java programs, a progress, asia progress
progress state » process state, programs state, progress share
state function » stage function, state functional, state fiction
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java progress » java programs, a progress, asia progress
1
Vydáno 2005
Obsah:
“...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”Získat plný text
Elektronický zdroj
E-kniha
