<<
Information-Theoretic Analysis using Theorem Proving
Tarek Mhamdi
A Thesis
in
The Department
of
Electrical and Computer Engineering
Presented in Partial Fulfillment of the Requirements
for the Degree of Doctor of Philosophy at
Concordia University
Montr´eal, Qu´ebec, Canada
December 2012