Cover is for reference only

A computational logic handbook /

Saved in:
Bibliographic Details
Main Authors: Boyer, Robert S.
Corporate Authors: Elsevier Science & Technology.
Group Author: Moore, J Strother, 1947-
Published: Academic Press,
Publisher Address: Boston :
Publication Dates: 1988.
Literature type: eBook
Language: English
Series: Perspectives in computing ; vol. 23
Subjects:
Automatic theorem proving.
Logic, Symbolic and mathematical.
logique informatique.
De monstration the ore me.
The ore mes > De monstration automatique.
Logique symbolique et mathe matique.
Logica.
Automatische bewijsvoering.
Electronic books.
Online Access: http://www.sciencedirect.com/science/book/9780121229528
Carrier Form: 1 online resource (xvi, 408 pages).
Bibliography: Includes bibliographical references (pages 397-399) and index.
ISBN: 9780121229528
0121229521
Index Number: QA76
CLC: O141

Related Book Recommendations