Automated theorem providing theory and practice Monty Newborn

By:

Material type: Text

TextPublication details: New York Springer 2000Description: xiii, 231pISBN:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Library and Documentation Division	004.015113 N425A (Browse shelf(Opens below))	Available		049896

Previous	No cover image available			No cover image available				Next
Previous	004.0151 R137C Computer oriental numerical methods	004.0151 Sh71C-2 Computational introduction to number theory and algebra	004.015113 H916E-3 Essentials of discrete mathematics /	004.015113 N425A Automated theorem providing	004.01512 G169A Algebra for computer science	004.015192 M859R Randomized algorithms	004.015192 M859R Randomized algorithms	Next

There are no comments on this title.

to post a comment.