Cover Image

Automated reasoning : introduction and applications /

Bibliographic Details
Other Authors: Wos, Larry
Format: Book
Language:English
Published: Englewood Cliffs, N.J. : Prentice-Hall, [1984]
Subjects:
Automatic theorem proving.
Artificial intelligence.
Computer programming.
Description
Physical Description:xiv, 482 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0130544531
0130544469 (pbk.)