9780121229528: The Computational Logic Handbook (Perspectives in Computing)
Hardcover
ISBN 10: 0121229521 ISBN 13: 9780121229528
Publisher: Academic Press Inc, 1997

Synopsis

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

"synopsis" may belong to another edition of this title.

About the Author

By John S. Boyer, and Hal G. Moore

"About this title" may belong to another edition of this title.

Publisher
Academic Press Inc
Publication date
1997
Language
English
ISBN 10 
0121229521
ISBN 13 
9780121229528
Binding
Hardcover
Number of pages
408

Other Popular Editions of the Same Title

9781483236537: A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics

Featured Edition

ISBN 10:  1483236536 ISBN 13:  9781483236537
Publisher: Academic Press, 2014
Softcover