Books
ISBN: 9789048150526
Edition
ISBN:
9048150523 /
ISBN-13:
9789048150526
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
Paperback,
New
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
by Bibel, Wolfgang (Editor), and Schmitt, P.H. (Editor)
2010, Springer
ISBN-13:
9789048150526
See Item Details ▾
Alibris
BEST
NV, USA
$168.69
$279.00
Edition: 2010, Springer
Paperback,
New
Available Copies: 10+
Details: ISBN:
9048150523
ISBN-13:
9789048150526
Publisher:
Springer
Published:
2010
Language:
English
Alibris ID:
11486124085
Shipping Options: Standard Shipping: $4.62
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Print on demand Applied Logic Series . XII, 335 p. Intended for professional and scholarly audience.
Hide Details ▴
Paperback,
New
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
by Bibel, Wolfgang (Editor), and Schmitt, P.H. (Editor)
2010, Springer
ISBN-13:
9789048150526
See Item Details ▾
booksXpress
not rated
Bayonne,
NJ,
USA
$183.06
$279.00
Edition: 2010, Springer
Paperback,
New
Available Copies: 10+
Details: ISBN:
9048150523
ISBN-13:
9789048150526
Publisher:
Springer
Published:
2010
Language:
English
Alibris ID:
17916938728
Shipping Options: Standard Shipping: $4.62
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Applied Logic Series . XII, 335 p. Intended for professional and scholarly audience.
Hide Details ▴
