Automated reasoning : 33 basic research problems

Bibliographic Details
Main Author: Wos, Larry (Author)
Format: Book
Published: Englewood Cliffs, NJ : Prentice-Hall , c1988
Subjects:
Description
Item Description:Companion vol. to:
Includes index
Physical Description:319 p. ; ; 23 cm.
Bibliography:Bibliography: p. 273
ISBN:013054552X