Resolution calculus

By: Leitsch, AlexanderContributor(s): Language: English Series: EATCS monographs on theoretical computer sciencePublication details: ; Berlin : Springer-Verlag, 1997 ; 1997Edition: Description: viii,300 p; 24 cmISBN: 3-540-61882-12Subject(s): | Computer algorithms | 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
681.3.06:517.1 Lei Available G56A06 179597
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha