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.
Read More
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.
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Edition: 2001, North-Holland
Hardcover,
New
Details: ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
07/2001
Language:
English
Alibris ID:
16845340290
Shipping Options: Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Size: 9x6x2; New. In shrink wrap. Looks like an interesting title!
Hide Details ▴
Edition: 2001, North-Holland
Hardcover,
Good
Details: ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
17323971688
Shipping Options: Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Hide Details ▴
Edition: 2001, North-Holland
Hardcover,
New
Available Copies: 5
Details: ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
16185359718
Shipping Options: Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning.
Hide Details ▴
Edition: 2001, North-Holland
Hardcover,
New
Available Copies: 5
Details: ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
17980798860
Shipping Options: Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning.
Hide Details ▴
Edition: 2001, North-Holland
Hardcover,
New
Available Copies: 10+
Details: ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
17383628214
Shipping Options: Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning, II.
Hide Details ▴
Edition: 2001, North-Holland
Hardcover,
New
Available Copies: 2
Details: ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
17599949964
Shipping Options: Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches.
Hide Details ▴
Edition: 2001, North-Holland
Hardcover,
New
Available Copies: 10+
Details: ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
13161441664
Shipping Options: Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning, II.
Hide Details ▴
ISBN-13: 9780444508126
Hardcover
Books by Alan J a Robinson
