Skip to content
Scan a barcode
Scan
Added to your cart
Hardcover Computational Logic Handbook: Perspectives in Computing, Vol 23 Book

ISBN: 0121229521

ISBN13: 9780121229528

The Computational Logic Handbook (Perspectives in Computing, Vol 23)

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. This description may be from another edition of this product.

Recommended

Format: Hardcover

Temporarily Unavailable

1 person is interested in this title.

We receive 1 copy every 6 months.

You Might Also Enjoy

Introduction to Algorithms
Introduction to Algorithms
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein

from: $9.99

Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Stuart Russell, Peter Norvig

from: $8.29

The Human Use of Human Beings: Cybernetics and Society
The Human Use of Human Beings: Cybernetics and Society
Norbert Wiener

from: $13.17

Head First Pmp: A Learner's Companion to Passing the Project Management Professional Exam
Head First Pmp: A Learner's Companion to Passing the Project Management Professional Exam
Jennifer Greene, Andrew Stellman, Jennifer Greene

from: $5.89

Introduction to Cybernetics (University Paperbacks)
Introduction to Cybernetics (University Paperbacks)
William Ross Ashby

from: $17.29

A New Kind of Science
A New Kind of Science
Stephen Wolfram

from: $7.29

Vector Calculus
Vector Calculus
Jerrold E. Marsden, Anthony J. Tromba, Anthony Tromba

from: $7.09

Así funciona su ordenador por dentro
Así funciona su ordenador por dentro
Ron White, Timothy Edward Downs

from: $4.49

The Lost Books of The Odyssey
The Lost Books of The Odyssey
Zachary Mason

from: $4.39

The Art of Intrusion: The Real Stories Behind the Exploits of Hackers, Intruders & Deceivers
The Art of Intrusion: The Real Stories Behind the Exploits of Hackers, Intruders & Deceivers
William L. Simon, Kevin D. Mitnick

from: $5.39

The Second Machine Age: Work, Progress, and Prosperity in a Time of Brilliant Technologies
The Second Machine Age: Work, Progress, and Prosperity in a Time of Brilliant Technologies
Andrew McAfee, Erik Brynjolfsson

from: $5.39

Computer Science: An Overview
Computer Science: An Overview
J. Glenn Brookshear

from: $5.39

Our Final Invention: Artificial Intelligence and the End of the Human Era
Our Final Invention: Artificial Intelligence and the End of the Human Era
James Barrat

from: $7.09

Turing's Cathedral: The Origins of the Digital Universe
Turing's Cathedral: The Origins of the Digital Universe
George Dyson

from: $6.39

Effective Project Management: Traditional, Adaptive, Extreme
Effective Project Management: Traditional, Adaptive, Extreme
Robert K. Wysocki

from: $5.79

Gray Hat Hacking: The Ethical Hacker's Handbook
Gray Hat Hacking: The Ethical Hacker's Handbook
Daniel Regalado, Michael Baucom, Shon Harris, Chris Eagle, Jonathan Ness, Allen Harper

from: $6.49

Principles of Compiler Design
Principles of Compiler Design
Alfred V. Aho, Jeffrey D. Ullman

from: $8.99

Career Architect Development Planner
Career Architect Development Planner
Michael M. Lombardo, Robert W. Eichinger

from: $5.89

Social Engineering: The Science of Human Hacking
Social Engineering: The Science of Human Hacking
Christopher Hadnagy

from: $19.59

Discrete Mathematics
Discrete Mathematics
Richard Johnsonbaugh

from: $5.89

Customer Reviews

customer rating | review
There are currently no reviews. Be the first to review this work.
Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured