NUST Institutions Library Catalogue

Formalized Probability theory and applications using theoren proving

By: Osman, HasanContributor(s): Sofiene, TaharMaterial type: TextTextPublisher: USA Information Science Reference 2015Description: xii, 298 pISBN: 9781466683150Subject(s): 1. Computer systems--Evaluation 2. Automatic theorem proving. 3. Stochastic analysis--Data processingDDC classification: 004.029 OSM
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Home library Collection Shelving location Call number Status Date due Barcode Item holds
Book Book Central Library (CL)
Central Library (CL)
NFIC First Floor - Computer Science 004.029 OSM (Browse shelf) Available SEECSD01157
Total holds: 0

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.