Showing
1 - 1
results of
1
for search '
Hasan, Osman, 1975-
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Hasan, Osman, 1975-
Showing
1 - 1
results of
1
for search '
Hasan, Osman, 1975-
'
, query time: 0.12s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Formalized probability theory and applications using theorem proving /
by
Hasan
,
Osman
,
1975
-
,
Tahar, Sofiène, 1966-
Published 2015
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Automatic theorem proving
COMPUTERS / Computer Literacy
COMPUTERS / Computer Science
COMPUTERS / Data Processing
COMPUTERS / Hardware / General
COMPUTERS / Information Technology
COMPUTERS / Machine Theory
COMPUTERS / Reference
Computer systems
Data processing
Evaluation
Stochastic analysis
Loading...