Isabelle/HOL : a proof assistant for higher-order logic

By: Nipkow, TobiasContributor(s): Paulson, Lawrence C | Wenzel, Markus | Language: English Series: Lecture notes in computer sience ; v.2283Publication details: Berlin ; Springer, ; 2002Edition: Description: xiii,218 p; 23 cmISBN: 3-540-43376-70Subject(s): | Functional programming(Computer science) | Logic, Symbolic and mathematical | Proof theory
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
Compact Storage - Basement Area 		681.3.06:517.1 Nip Available G56A07 195792
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha