Normal view MARC view ISBD view

Symbolic, logic and mechanical theorem proving

By:

Contributor(s):

Material type: Text

TextPublication details: New York Academic Press 1973Edition: Description: xiii,325pISBN:

ISSN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	University Library	519.6 CHA (Browse shelf(Opens below))	Available		00002881

Previous		No cover image available		No cover image available	No cover image available		No cover image available	Next
Previous	519.6 BUR Numerical analysis	519.6 CAV Digital computer arithmetic: design and implementation	519.6 CEB Modeling and computation of boundary-layer flows: solutions manual and computer program	519.6 CHA Symbolic, logic and mechanical theorem proving	519.6 CHI Design methods for digital systems	519.6 COH Computer algebra and symbolic computation	519.6 CRO arithmetic of computers: An introduction to binary and octal mathematics	Next

There are no comments on this title.

to post a comment.