Handbook of Automated Reasoning. This item is unavailable.

Robinson A. Voronkov A. Robinson Alan

Language: English

Published by Elsevier, 2001

0444508120 / 9780444508126

  • Hardcover
  • New
See all details

Seller: Biblios, frankfurt am main, hessen, GermanyBiblios

4-star seller

AbeBooks seller since September 10, 2024

View this seller's items
Unavailable
Hardcover

Condition: New

£ 237.64

This specific item is no longer available.
View similar itemsCreate a Want for similar items

Item description from seller

pp. 1188.

Seller Inventory # 18534744

Report this item
Title
Handbook of Automated Reasoning
Author
Robinson A. Voronkov A. Robinson Alan
Publisher
Elsevier
Publication year
2001
Condition
New
Binding
Hardcover
Language
English
ISBN 10
0444508120
ISBN 13
9780444508126

Search results for Handbook of Automated Reasoning

There are 2 more copies of this bookView all results