Formalized probability theory and applications using theorem proving / Osman Hasan and Sofiène Tahar.

Formalized probability theory and applications using theorem proving / Osman Hasan and Sofiène Tahar.

Saved in:
Bibliographic Details
Main Authors: Hasan, Osman, 1975- (Author), Tahar, Sofiène, 1966- (Author)
Format: eBook
Language:English
Published: Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA) : IGI Global, [2015]
Subjects:
Computer systems > Evaluation.
Automatic theorem proving.
Stochastic analysis > Data processing.
Online Access:http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold information

Internet

http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-8315-0

Online Resource - Electronic book

Copy [Unknown] Available

Similar Items