Rezultati pretrage - "Constructive mathematics."

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

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

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

Bounded arithmetic, propositional logic, and complexity theory od 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. od Rivasseau, Vincent

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

Advanced routing of electronic modules

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

Reed-Solomon codes and their applications