Automated reasoning: Introduction and applications

By: Language: English Publication details: New York McGraw-Hill 1992Edition: 2nd edDescription: xvi,656 pDDC classification:
  • 001.64 W91A
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Materials specified Status Date due Barcode
Books VIVEKANANDA LIBRARY UIET Library 001.64 W91A (Browse shelf(Opens below)) Available 178627

There are no comments on this title.

to post a comment.
© Designed and Maintained by Vivekananda Library, MDU Rohtak