Isabelle/HOL : a proof assistant for higher-order logic Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

By:

Contributor(s):

Publication details: Berlin ; New York Springer c2002Description: xiii, 218 p. : ill. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	006.3 NIP (Browse shelf(Opens below))	Available		300753

Previous								Next
Previous	006.3 NIK Enhancing the power of the Internet	006.3 NIL The quest for artificial intelligence : a history of ideas and achievements	006.3 NIL The quest for artificial intelligence : a history of ideas and achievements	006.3 NIP Isabelle/HOL : a proof assistant for higher-order logic	006.3 NOK Implementing Machine Learning For Finance: A Systematic Approach to Predictive Risk and Performance Analysis For Investment Portfolios	006.3 NOK Artificial intelligence in medical sciences and psychology with application of machine language, computer vision, and nlp techniques	006.3 NOK Implementing Machine Learning for Finance: a Systematic Approach to Predictive Risk and Performance Analysis for Investment Portfolios	Next

Includes bibliographical references (p. [209]-211) and index

There are no comments on this title.

to post a comment.

Find us on the map