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

Boyer, Robert S.

 
9781483236537: A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics
Softcover
ISBN 10: 1483236536 ISBN 13: 9781483236537
Publisher: Academic Press, 2014

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.

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

Publisher
Academic Press
Publication date
2014
Language
English
ISBN 10 
1483236536
ISBN 13 
9781483236537
Binding
Paperback
Number of pages
426
Editor
Rheinboldt Werner

Other Popular Editions of the Same Title

9780121229528: A Computational Logic Handbook (Perspectives in Computing)

Featured Edition

ISBN 10:  0121229521 ISBN 13:  9780121229528
Publisher: Academic Pr, 1988
Hardcover