Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Amazon cover image
Image from Amazon.com

Resolution proof systems : an algebraic theory

By: Material type: TextTextSeries: Automated Reasoning Series / Edited By William Pase ; V.4Publication details: Dordrecht Kluwer Academic 1996Description: xvi, 206pISBN:
  • 9780792340171
Subject(s): DDC classification:
  • 511.3 St12r
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number URL Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur COMPACT STORAGE (BASEMENT) 511.3 St12r (Browse shelf(Opens below)) Link to resource Available A175327
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha