Cover Image

Automated theorem proving /

Show other versions (1)
Bibliographic Details
Main Author: Bibel, W., 1938-
Format: Book
Language:English
Published: Braunschweig : F. Vieweg, 1982.
Subjects:
Automatic theorem proving.
Logic, Symbolic and mathematical.
Description
Item Description:Includes index.
Physical Description:xiii, 292 pages : illustrations ; 23 cm.
Bibliography:Bibliography: pages [277]-287.
ISBN:3528085207