Logic for computer science : foundations of automatic theorem proving

By: Gallier, Jean HContributor(s): Language: English Series: Publication details: New York ; Harper and Row ; 1986Edition: Description: xv,511 p; 23 cmISBN: 0-06-042225-4Subject(s): | Automatic theorem proving , Logic, Symbolic and mathematical
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
517.1:681.3Gal Available G10A17 137949
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha