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

Amazon cover image
Image from Amazon.com

A MANY-SORTED CALCULUS BASED ON RESOLUTION AND PARAMODULATION

By: Material type: TextTextSeries: Research Notes In Artificial Inteligrnce ; Publication details: ISBN:
  • 0934613494
Subject(s): DDC classification:
  • 511.3 W17M
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 W17M (Browse shelf(Opens below)) Link to resource Available A114989
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha