Proofs and Algorithms

Name: Proofs and Algorithms
Author: Gilles Dowek

No description available.

Information theoryComputer scienceSymbolic and mathematical LogicAlgorithmsLogic, symbolic and mathematicalMathematical Logic and Formal LanguagesTheory of Computation