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

Automated reasoning : 33 basic research problems

By: Material type: TextTextLanguage: English Publication details: Englewood Cliffs Prentice Hall 1988Description: xiii, 319pISBN:
  • 013034552x
Subject(s): DDC classification:
  • 001.535 W91a
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 001.535 W91a (Browse shelf(Opens below)) Available A106978
Total holds: 0

Companion Vol. To: Automated Reasoning: Introduction And Applications

There are no comments on this title.

to post a comment.

Powered by Koha