Research Catalog

The collected works of Larry Wos

Filter by

Item details
Status	Vol/Date	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 2 (Applying Automated. . . . .)	Text	Request in advance	JSE 00-1170 v. 2 (Applying Automated. . . . .)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 1 (Exploring the Power of. . . . .)	Text	Request in advance	JSE 00-1170 v. 1 (Exploring the Power of. . . . .)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?		Text	Request in advance	*WSC-1272	Offsite

Additional Authors

Pieper, Gail W.

Description

2 v. (xvii, 1639 p.) : ill.; 23 cm. +

Uniform Title

Works. 2000

Alternative Title

Works. 2000

Subject

Bibliography (note)

System Details (note)

Contents

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

Call Number

JSE 00-1170

ISBN

OCLC

44190209

Author

Wos, Larry.

Title

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

Imprint

Singapore ; River Edge, NJ : World Scientific, c2000.

Bibliography

Includes bibliographical references.

System Details

System requirements for accompanying disc: CD-ROM drive.

Added Author

Pieper, Gail W.

Research Call Number

JSE 00-1170 [Text]

*WSC-1272 [CD-ROM]