Formalizing Integration Theory, with an Application to Probabilistic Algorithms (2003)

by Stefan Richter
Citations:9 - 0 self