Skip to content
Scan a barcode
Scan
My Lists
0
Cart
Scan a barcode
Scan
Sell Your BooksSell Books
ISBN: 0444508120
ISBN13: 9780444508126

Handbook of Automated Reasoning: Volume II

by Andrei Voronkov
See Reviews
$311.92List Price: $320.00
Save $8.08!
ISBN: 0444508120
ISBN13: 9780444508126
Formats

Conditions

A brand-new, unused copy in perfect condition.

Formats

Conditions

A brand-new, unused copy in perfect condition.

See all 2 editionsfrom $311.92

Book Overview

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.
Format:
Hardcover
Language:
English
ISBN:
0444508120
ISBN13:
9780444508126
Release Date:
July 2001
Publisher:
North-Holland
Length:
1188 Pages
Weight:
4.56 lbs.
Dimensions:
2.4″ × 6.7″ × 9.6″
ComputersComputers & TechnologyMathMathematicsMedicalMedical BooksScience & Math

More by Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Andrei Voronkov
from: $109.99
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science)
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science)
Andrei Voronkov
from: $60.42
Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Notes in Computer Science)
Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Notes in Computer Science)
Andrei Voronkov
from: $60.10
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Computer Science)
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Computer Science)
Matthias Baas, M. Baaz, Andrei Voronkov, Matthias Baas, M. Baaz

Customer Reviews

0 customer ratings | 0 reviews
Write a Review

There are currently no reviews. Be the first to review this work.

TrustPilot Reviews

Popular
Categories

Website

My Account

Partnerships

Quick Help

About Us

Popular
Categories

Website

My Account

Partnerships

Quick Help

About Us

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Follow Us

Get the ThriftBooks mobile app
Link to Facebook
Link to Twitter
Link to Pinterest
Link to Tumblr
Link to Instagram
Link to Facebook
Link to Twitter
Link to Pinterest
Link to Tumblr
Link to Instagram
Copyright © 2026 ThriftBooks.com
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
© 2026 ThriftBooks.com
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured

Popular
Categories

Website

My Account

Partnerships

Quick Help

About Us

Popular
Categories

Website

My Account

Partnerships

Quick Help

About Us

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Follow Us

Get the ThriftBooks mobile app
Link to Facebook
Link to Twitter
Link to Pinterest
Link to Tumblr
Link to Instagram
Link to Facebook
Link to Twitter
Link to Pinterest
Link to Tumblr
Link to Instagram
Already a customer? Sign In
Copyright © 2026 ThriftBooks.com
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
© 2026 ThriftBooks.com
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured