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

Amazon cover image
Image from Amazon.com

PROOF THEORY AND AUTOMATES DEDUCTION

By: Contributor(s): Material type: TextTextSeries: Applied Logic Series ; Publication details: Kluwer Academic Publishers, Dordrecht 1997Description: xv,424ISBN:
  • 0792345932
Subject(s): DDC classification:
  • 511.3 G72P
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur General Stacks 511.3 G72P (Browse shelf(Opens below)) Available A127634
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha