Cover is for reference only

Formalized probability theory and applications using theorem proving /

Saved in:
Bibliographic Details
Main Authors: Hasan, Osman, 1975
Group Author: Tahar, Sofiène, 1966
Published: Information Science Reference, an imprint of IGI Global,
Publisher Address: Hershey, PA :
Publication Dates: [2015]
Literature type: Book
Language: English
Subjects:
Computer systems > Evaluation
Automatic theorem proving
Stochastic analysis > Data processing
Carrier Form: xii, 298 pages : illustrations ; 27 cm
Bibliography: Includes bibliographical references (pages 287-294) and index.
ISBN: 9781466683150 (hardcover) :
1466683155 (hardcover)
9781466683167 (ebook)
1466683163 (ebook)
Index Number: QA76
CLC: TP302.7
Call Number: TP302.7/H344

Related Book Recommendations