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
Computer Science – Theory and Applications
2007
Functional and Logic Programming
2008
Computation and Logic in the Real World
2007
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
Logic Programming and Nonmonotonic Reasoning
2007
Automated Deduction – CADE-21
2007
Mathematical Aspects of Computer and Information Sciences
2017