Normal view MARC view ISBD view

The collected works of Larry Wos / Larry Wos, Gail W. Pieper.

By:

Contributor(s):

Material type: Text

TextPublication details: Singapore ; River Edge, NJ : World Scientific, c2000.Description: 2 v. (xvii, 1639 p.) : ill. ; 23 cm. + 1 CD-ROM (4 3/4 in.)ISBN:

Uniform titles:

Subject(s):

DDC classification:

LOC classification:

Contents:

v. 1. Exploring the power of automated reasoning -- v. 2. Applying automated reasoning to puzzles, problems, and open questions.

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	Collection	Call number	Status	Date due	Barcode
Books	Institute of Applied Problems of Physics	General	QA76.9.A96W667 2000, V. 2 (Browse shelf(Opens below))	Available		APP1986
Books	Institute of Applied Problems of Physics	General	QA76.9.A96W667 2000, V. 1 (Browse shelf(Opens below))	Available		APP1985

Includes bibliographical references.

v. 1. Exploring the power of automated reasoning -- v. 2. Applying automated reasoning to puzzles, problems, and open questions.

There are no comments on this title.

to post a comment.