Isabelle : a generic theorem prover

By: Paulson, Lawrence CContributor(s): Language: English Series: Lecture notes in computer science ; v.828Publication details: Berlin ; Springer-Verlag ; 1994Edition: Description: xvii,321 p; 23.5 cmISBN: 3-540-58244-42Subject(s): | Automatic theorem proving-Congresses | Proof theory-Congresses | Logic Programming-Congresses
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 Pau Available G56A07 173068
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha