Guide to Discrete Mathematics More Books Like This

Mathematics in Computing Mathematics in Computing
Mathematics in Computing
2012
Decision Procedures Decision Procedures
Decision Procedures
2008
Logic, Language, Information and Computation Logic, Language, Information and Computation
Logic, Language, Information and Computation
2010
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2008
Popular Lectures on Mathematical Logic Popular Lectures on Mathematical Logic
Popular Lectures on Mathematical Logic
2014
An Introduction to Programming with Specifications (Enhanced Edition) An Introduction to Programming with Specifications (Enhanced Edition)
An Introduction to Programming with Specifications (Enhanced Edition)
2012
Fields of Logic and Computation Fields of Logic and Computation
Fields of Logic and Computation
2010
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2008
Introducing Software Verification with Dafny Language Introducing Software Verification with Dafny Language
Introducing Software Verification with Dafny Language
2022
Machines, Computations, and Universality Machines, Computations, and Universality
Machines, Computations, and Universality
2018
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011
Discrete Mathematics Using a Computer Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer
2007
Automated Reasoning Automated Reasoning
Automated Reasoning
2008
PROOF AND COMPUTATION II PROOF AND COMPUTATION II
PROOF AND COMPUTATION II
2021
Artificial Intelligence and Symbolic Computation Artificial Intelligence and Symbolic Computation
Artificial Intelligence and Symbolic Computation
2018