Mathematics in Computing More Books Like This

Guide to Discrete Mathematics Guide to Discrete Mathematics
Guide to Discrete Mathematics
2016
Decision Procedures Decision Procedures
Decision Procedures
2008
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2008
Logic, Language, Information and Computation Logic, Language, Information and Computation
Logic, Language, Information and Computation
2010
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
Popular Lectures on Mathematical Logic Popular Lectures on Mathematical Logic
Popular Lectures on Mathematical Logic
2014
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2008
Fields of Logic and Computation Fields of Logic and Computation
Fields of Logic and Computation
2010
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011
Automated Reasoning Automated Reasoning
Automated Reasoning
2008
Automated Deduction – CADE-21 Automated Deduction – CADE-21
Automated Deduction – CADE-21
2007
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2011
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2010
Computer Science – Theory and Applications Computer Science – Theory and Applications
Computer Science – Theory and Applications
2007
Computer Science Logic Computer Science Logic
Computer Science Logic
2010