On extracting computations from propositional proofs (a survey) - Sciweavers

34

click to vote

more FSTTCS 2010 ...

www.math.cas.cz

Tweet