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

Amazon cover image
Image from Amazon.com

NON - STANDARD LOGICS FOR AUTOMATED REASONING

By: Material type: TextTextPublication details: Academic Press 1988ISBN:
  • 0 12 649520 3
DDC classification:
  • 511.3 N733
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 N733 (Browse shelf(Opens below)) Available A106584
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha