Search Results - "Stochastic analysis--Data processing"

Formalized Probability Theory and Applications Using Theorem Proving

Authors: Osman Hasan Sofiène Tahar

Resource Type: eBook.

Subjects: Automatic theorem proving, Computer systems--Evaluation, Stochastic analysis--Data processing

Categories: MATHEMATICS / Probability & Statistics / General, COMPUTERS / Logic Design, MATHEMATICS / General