Introduction to HOL : a theorem proving environment for higher order logic / M. J. C. Gordon and T. F. Melham
Material type: TextLanguage: English Publication details: Cambridge : Cambridge University Press, 1993. Description: xx, 471 p. : ill. ; 23 cmISBN: 0521441897Subject(s): Computer science | HOL (Computer file) | Automatic theorem proving | ML (Computer program language)DDC classification: 005.133Item type | Current library | Home library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Textbooks | Central Library, TU Textbook Section (Consult Shelf-Guide to locate the book) | Central Library, TU | 005.133 GOR (Browse shelf(Opens below)) | 1 | Available | 480 |
Total holds: 0
Browsing Central Library, TU shelves, Shelving location: Textbook Section (Consult Shelf-Guide to locate the book) Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
005.133 GOO Java script handbook / | 005.133 GOO Word for Windows 6 for Dummies / | 005.133 GOO Wordperfect 6 for Dummies / | 005.133 GOR Introduction to HOL : | 005.133 GOR High performance Python / | 005.133 GOR High performance Python / | 005.133 GOR Introduction to modeling and simulation with MATLAB® and Python / |
Includes bibliographical references.
There are no comments on this title.