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

El Código Secreto - by Priya Hemenway (Hardcover)

< 3 ay

Target USD

SIFT Study Guide - SIFT Exam Secrets, Full-Length Practice Test, Step-by Step Review Video Tutorials - by Matthew Bowling (Paperback)

< 3 ay

Target USD

Risk Assessment - (Statistics in Practice) 2nd Edition by Marvin Rausand & Stein Haugen (Hardcover)

< 3 ay

Target USD

2017 FTCE English 6-12 - by Sharon A Wynne (Paperback)

< 3 ay

Target USD

To Infinity and Beyond - (Princeton Science Library) by Eli Maor (Paperback)

< 3 ay

Target USD

LSAT Prep Book Study Guide - by Lsat Prep Books Team (Paperback)

< 3 ay

Target USD

Princeton Review SAT Subject Test Spanish Prep, 17th Edition - (College Test Preparation) by The Princeton Review (Paperback)

< 3 ay

Target USD

Statistics for Spatial Data - (Wiley Classics Library) 2nd Edition by Noel Cressie (Paperback)

< 3 ay

Target USD

Essential Statistics, Regression, and Econometrics - 2nd Edition by Gary Smith (Hardcover)

< 3 ay

Target USD

Kindergarten writing paper - by Mario M'Bloom (Paperback)

< 3 ay

Target USD

Draw and write journal - Large Print by Mario M'Bloom (Paperback)

< 3 ay

Target USD

Product info

<p/><br></br><p><b> Book Synopsis </b></p></br></br>This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Price History