Logic for computer science
foundations of automatic theorem proving
by Download PDF, EPUB, TXT


Logic for computer science
About this edition:
Published by Includes bibliographies and indexes. in New York, NY. Notes about edition: Includes bibliographies and indexes.



ID Numbers
ISBN 10: 0060422254

This book contains 511 pages, written in English. "Logic for computer science" is a part of Harper & Row computer science and technology series series.

The book describes such subjects as:

Automatic Theorem Proving, Logic, Symbolic And Mathematical

The book is related to: , , , ,
Authors:

File size: 5.5 mb (Estimated time:2 min)
Searching Progress