Similar Products

Handbook of Automated Reasoning - by Alan J a Robinson & Andrei Voronkov (Hardcover)

< 3 ay

Target USD

Automated Development of Fundamental Mathematical Theories - (Automated Reasoning) by Art Quaife (Hardcover)

< 3 ay

Target299.00 USD

The Handbook for Companioning the Mourner - by Alan D Wolfelt (Hardcover)

< 3 ay

Target USD

Reasoning Rights, - by Nigel Bowles (Hardcover)

< 3 ay

Target110.00 USD

Star Trek: The U.S.S. Voyager Ncc-74656 Illustrated Handbook - by Ben Robinson (Hardcover)

< 3 ay

Target32.99 USD

Jackie Robinson - (Hardcover)

< 3 ay

Target USD

Representation & Reasoning - (Ai+me) by Readyai (Hardcover)

< 3 ay

Target USD

Neurovascular Examination - by Andrei V Alexandrov (Hardcover)

< 3 ay

Target USD

Andrei, Fira and Pitch - by Andrei Gavrilov (Paperback)

< 3 ay

Target USD

Playing with Fire - (Alan Banks Series) by Peter Robinson (Paperback)

< 3 ay

Target USD

Load more

Products of same category from the store

The Computer Incident Response Planning Handbook: Executable Plans for Protecting Information at Risk - (Paperback)

< 3 ay

Target60.00 USD

Basic Visual Formatting in CSS - by Eric A Meyer (Paperback)

< 3 ay

Target USD

Introduction to Apache Flink - by Ellen Friedman & Kostas Tzoumas (Paperback)

< 3 ay

Target USD

Wordpress 24-Hour Trainer - 3rd Edition by George Plumley (Paperback)

< 3 ay

Target45.00 USD

Foundations of Digital Art and Design with Adobe Creative Cloud - 2nd Edition by Xtine Burrough (Paperback)

< 3 ay

Target USD

Cisa Certified Information Systems Auditor Study Guide - 4th Edition by David L Cannon (Paperback)

< 3 ay

Target70.00 USD

QuickBooks - 2nd Edition by Michele Cagan (Poster)

< 3 ay

Target USD

Healthcare Information Security and Privacy - (All-In-One) by Sean Murphy (Paperback)

< 3 ay

Target USD

Samsung Galaxy S6 for Dummies - by Bill Hughes (Paperback)

< 3 ay

Target USD

Cloud Storage Security - (Computer Science Reviews and Trends) by Aaron Wheeler & Michael Winburn (Paperback)

< 3 ay

Target USD

Software Architecture with C# 9 and .NET 5 - 2nd Edition by Gabriel Baptista & Francesco Abbruzzese (Paperback)

< 3 ay

Target USD

Product info

<p/><br></br><p><b> Book Synopsis </b></p></br></br>This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

Price History