Items related to A Computational Logic Handbook: Formerly Notes and...

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

Book 3 of 7: Notes and reports in computer science and applied mathematics

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