Resolution calculus
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 mathematicalItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Central Library, IITB | 681.3.06:517.1 Lei | Available | G56A06 | 179597 |
Total holds: 0
There are no comments on this title.