Formalized Probability Theory and Applications Using Theorem Proving

Formalized Probability Theory and Applications Using Theorem Proving

Formalized Probability Theory and Applications Using Theorem Proving

Barcode: 09781466683174
Brand: IGI Global
Best Priced
sold by Hive Books
Hive Books
£165.75
Visit Store
Hive Books
Hive Books
£165.75
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From IGI Global

Developing Sustainable Digital Libraries: Socio-Technical Perspectives
Developing Sustainable Digital Libraries: Socio-Technical Perspectives
from £153.00
Intelligent Support Systems: Knowledge Management
Intelligent Support Systems: Knowledge Management
from £50.96
Web-Based Instructional Learning
Web-Based Instructional Learning
from £50.96
Information Systems Evaluation Management
Information Systems Evaluation Management
from £50.96
Microcontroller System Design Using PIC18F Processors
Microcontroller System Design Using PIC18F Processors
from £165.75
Object-Oriented Oracle
Object-Oriented Oracle
from £63.71
Web Semantics & Ontology
Web Semantics & Ontology
from £76.46
Redesigning Human Systems
Redesigning Human Systems
from £67.96
Developing Future Interactive Systems
Developing Future Interactive Systems
from £72.21
Intelligent Agent Software Engineering
Intelligent Agent Software Engineering
from £72.21
Creating Knowledge-Based Healthcare Organizations
Creating Knowledge-Based Healthcare Organizations
from £72.21
Beyond Knowledge Management
Beyond Knowledge Management
from £67.96
Harnessing Knowledge Dynamics: Principled Organizational Knowing & Learning
Harnessing Knowledge Dynamics: Principled Organizational Knowing & Learning
from £76.46
Mobile Commerce Applications
Mobile Commerce Applications
from £67.96
User-Centered Computer Aided Language Learning
User-Centered Computer Aided Language Learning
from £72.21
Strategic Knowledge Management Technology
Strategic Knowledge Management Technology
from £72.21
Open Source Mobile Learning: Mobile Linux Applications
Open Source Mobile Learning: Mobile Linux Applications
from £153.00
Transforming Curriculum Through Teacher-Learner Partnerships
Transforming Curriculum Through Teacher-Learner Partnerships
from £165.75
Cultivating Entrepreneurial Changemakers Through Digital Media Education
Cultivating Entrepreneurial Changemakers Through Digital Media Education
from £165.75
Describing Nature Through Visual Data
Describing Nature Through Visual Data
from £165.75

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Automated Theorem Proving : Theory and Practice
Automated Theorem Proving : Theory and Practice
from £93.08
Probability Theory and Applications
Probability Theory and Applications
from £38.24
Probability : Interpretation, Theory and Applications
Probability : Interpretation, Theory and Applications
from £195.50
Probability and Statistics : Theory and Applications
Probability and Statistics : Theory and Applications
from £55.24
Theory of Probability : Explorations and Applications
Theory of Probability : Explorations and Applications
from £74.79
Theory of Probability : Explorations and Applications
Theory of Probability : Explorations and Applications
from £74.79
The Implicit Function Theorem : History, Theory, and Applications
The Implicit Function Theorem : History, Theory, and Applications
from £67.58
The Implicit Function Theorem : History, Theory, and Applications
The Implicit Function Theorem : History, Theory, and Applications
from £48.44
Using Game Theory And Probability For Business
Using Game Theory And Probability For Business
from £2.49
Probability Theory with Applications
Probability Theory with Applications
from £76.08
Probability Theory with Applications
Probability Theory with Applications
from £41.79
Probability Theory and Its Applications in China
Probability Theory and Its Applications in China
from £55.80
Key Concepts and Applications of Probability Theory
Key Concepts and Applications of Probability Theory
from £37.50
Basic Principles and Applications of Probability Theory
Basic Principles and Applications of Probability Theory
from £76.08
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
from £114.00
Probability and Forensic Evidence : Theory, Philosophy, and Applications
Probability and Forensic Evidence : Theory, Philosophy, and Applications
from £35.69
Probability and Forensic Evidence : Theory, Philosophy, and Applications
Probability and Forensic Evidence : Theory, Philosophy, and Applications
from £35.69
Automated Theorem Proving
Automated Theorem Proving
from £76.08
Basic Probability Theory with Applications
Basic Probability Theory with Applications
from £38.24
Elementary Applications of Probability Theory
Elementary Applications of Probability Theory
from £53.09