Guide to Discrete Mathematics More Books Like This

Mathematics in Computing Mathematics in Computing
2020
Concrete Abstractions Concrete Abstractions
2023
An Introduction to Programming with Specifications (Enhanced Edition) An Introduction to Programming with Specifications (Enhanced Edition)
2012
Logic, Language, Information and Computation Logic, Language, Information and Computation
2010
Computer Science – Theory and Applications Computer Science – Theory and Applications
2007
Functional and Logic Programming Functional and Logic Programming
2008
Computation and Logic in the Real World Computation and Logic in the Real World
2007
Reliable Implementation of Real Number Algorithms: Theory and Practice Reliable Implementation of Real Number Algorithms: Theory and Practice
2008
Fields of Logic and Computation Fields of Logic and Computation
2010
Intelligent Computer Mathematics Intelligent Computer Mathematics
2008
Artificial Intelligence and Symbolic Computation Artificial Intelligence and Symbolic Computation
2018
Symbolic and Quantitative Approaches to Reasoning with Uncertainty Symbolic and Quantitative Approaches to Reasoning with Uncertainty
2011
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
2007
Automated Deduction – CADE-21 Automated Deduction – CADE-21
2007
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
2017