Résultats de la recherche - "Constructive mathematics."

Notes on constructive mathematics par Martin-Lof, Per 1942-

Foundations of algorithms using C++ pseudocode par Neapolitan, Richard E.

Foundations of algorithms using C++ pseudocode par Neapolitan, Richard E.

Bounded arithmetic, propositional logic, and complexity theory par Krajihcek, Jan

Foundational theories of classical and constructive mathematics

Available for University of the Philippines Diliman via SpringerLink. Click here to access

From perturbative to constructive renormalization. par Rivasseau, Vincent

Phenomenology, logic, and the philosophy of mathematics par Tieszen, Richard

Advanced routing of electronic modules

Identification and appraisal of rural roads projects par Beenhakker, Henri L.

Reed-Solomon codes and their applications