Guide to Discrete Mathematics More Books Like This
Mathematics in Computing
2020
Concrete Abstractions
2023
An Introduction to Programming with Specifications (Enhanced Edition)
2012
Logic, Language, Information and Computation
2010
Functional and Logic Programming
2008
Reliable Implementation of Real Number Algorithms: Theory and Practice
2008
Fields of Logic and Computation
2010
Intelligent Computer Mathematics
2008
Artificial Intelligence and Symbolic Computation
2018
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
2011
Mathematical Aspects of Computer and Information Sciences
2017
Fundamentals of Computation Theory
2011
Automated Reasoning
2008
Transactions on Computational Science II
2008
Algorithmic Learning Theory
2007