Cover Image

The collected works of Larry Wos /

Bibliographic Details
Main Author: Wos, Larry
Other Authors: Pieper, Gail W.
Format: Book
Language:English
Published: Singapore ; River Edge, NJ : World Scientific, [2000]
Subjects:
Automatic theorem proving.
Artificial intelligence.
Description
Item Description:CD Rom in back pocket of volume 1.
Physical Description:2 volumes (xvii, 1639 pages) : illustrations ; 23 cm. + 1 CD-ROM (4 3/4 in.)
Bibliography:Includes bibliographical references.
ISBN:9810249969 (v.1)
9810249985 (v.2)
9810240015 (set)