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

Format:

Book

Author/Creator:

Wos, Larry.

Contributor:

Pieper, Gail W.

Rosengarten Family Fund.

Standardized Title:

Works. 2000

Language:

English

Subjects (All):

Automatic theorem proving.

Artificial intelligence.

Physical Description:

2 volumes (xvii, 1639 pages) : illustrations ; 23 cm + 1 computer optical disc (4 3/4 in.)

4 3/4 in.

Place of Publication:

Singapore ; River Edge, NJ : World Scientific, [2000]

System Details:

text file

Summary:

This two-volume set includes all 66 published papers of Dr. Larry Wos, one of the world's pioneers in automated reasoning. It presents the strategies introduced by Wos that have made automated reasoning a practical tool for solving challenging puzzles and deep problems in mathematics and logic; provides a history of the field, from its earliest stages as a mechanical theorem proving to its broad base now as automated reasoning; illustrates some of the remarkable successes automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design; and includes a CD-ROM with a searchable index of all the papers. Annotation copyrighted by Book News, Inc., Portland, OR

Contents:

v. 1. Exploring the power of automated reasoning

v. 2. Applying automated reasoning to puzzles, problems, and open questions.

Notes:

Includes bibliographical references.

Accompanying CD-ROM in pocket at end of v. 1.

Local Notes:

Acquired for the Penn Libraries with assistance from the Rosengarten Family Fund.

ISBN:

9810249969

9810249985

9810240015

OCLC:

44190209