Image from Google Jackets

Symbolic, logic and mechanical theorem proving

By: Contributor(s): Publication details: New York Academic Press 1973Edition: Description: xiii,325pISBN:
ISSN:
Subject(s): DDC classification:
  • 519.6
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Books Books University Library Secondary Collection 519.6 CHA (Browse shelf(Opens below)) Available 00002881

There are no comments on this title.

to post a comment.
University Library, CUSAT