Automated reasoning and its applications essays in honor of Larry Wos Robert Veroff

By:

Material type: Text

TextPublication details: London MIT Press 1997Description: viii, 247ISBN:

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	511.3 Au82 (Browse shelf(Opens below))	Available		047516

Previous	No cover image available	No cover image available	No cover image available	No cover image available				Next
Previous	511.2 Sa73 Mathematical methods of statistical quality control.	511.3 Al38 Algorithsm and theory of computation hand book	511.3 An 88N Nonmonotonic reasoning	511.3 Au82 Automated reasoning and its applications	511.3 B388A Art of Proof	511.3 B43M-2 Mathematical logic for computer science	511.3 B637M Many-valued logics	Next

There are no comments on this title.

to post a comment.