Mathematics in Computing Plus de livres similaires

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
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
Towards Mechanized Mathematical Assistants Towards Mechanized Mathematical Assistants
Towards Mechanized Mathematical Assistants
2007
Types for Proofs and Programs Types for Proofs and Programs
Types for Proofs and Programs
2007