The Computational Logic Handbook

Moore J. Strother Boyer Robert S.

ISBN 10: 0121229521 / ISBN 13: 9780121229528

Published by Elsevier, 1988

About this Item

pp. xvi + 408.

Seller Inventory # 46385231

Bibliographic Details

• Title: The Computational Logic Handbook
• Publisher: Elsevier
• Publication Date: 1988
• Language: English
• ISBN 10: 0121229521
• ISBN 13: 9780121229528
• Binding: Hardcover
• Condition: Used

About this title

Synopsis

Contains a precise and complete description of the computational logic developed by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.