-
376. Logic, Computation and Rigorous Methods
Seller Description: Brand New. New. See More Details
2021, Springer Nature Switzerland AG
ISBN-13: 9783030760199
Paperback, New
New Delhi, DELHI, INDIA
$47.95
-
377. Automated Deduction - Cade 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
by Platzer, André (Editor), and Sutcliffe, Geoff (Editor)
Seller Description: Fine. Trade paperback (US). Glued binding. 650 p. Contains: Unspecified, Illustrations, black & white, Illustrations, color. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2021, Springer
ISBN-13: 9783030798758
Trade paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$50.28
-
378. Automated Deduction - Cade 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
by Platzer, André (Editor), and Sutcliffe, Geoff (Editor)
Seller Description: New. Trade paperback (US). Glued binding. 650 p. Contains: Unspecified, Illustrations, black & white, Illustrations, color. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2021, Springer
ISBN-13: 9783030798758
Trade paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$50.79
-
379. Automated Deduction - Cade 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
by Platzer, André (Editor), and Sutcliffe, Geoff (Editor)
Seller Description: New. Trade paperback (US). Glued binding. 650 p. Contains: Unspecified, Illustrations, black & white, Illustrations, color. See More Details
2021, Springer
ISBN-13: 9783030798758
Trade paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$52.80
-
380. Logic and Argumentation
eBook See More Details
2021, Springer Nature
eBook ISBN: 9783030893903
Format: EPUB eBook
Digital download
$53.40
-
381. Reachability Problems
eBook See More Details
2021, Springer Nature
eBook ISBN: 9783030897154
Format: EPUB eBook
Digital download
$54.00
-
382. Functional and Constraint Logic Programming
eBook See More Details
2021, Springer Nature
eBook ISBN: 9783030753320
Format: EPUB eBook
Digital download
$54.99
-
383. Logic, Computation and Rigorous Methods
eBook See More Details
2021, Springer Nature
eBook ISBN: 9783030760199
Format: EPUB eBook
Digital download
$54.99
-
384. Recent Trends in Algebraic Development Techniques
by Author
eBook See More Details
2021, Springer Nature
eBook ISBN: 9783030737849
Edition: 2021 edition
Format: EPUB eBook
Digital download
$54.99
-
385. Automated Deduction - Cade 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
by Platzer, André (Editor), and Sutcliffe, Geoff (Editor)
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 650 p. Contains: Unspecified, Illustrations, black & white, Illustrations, color. See More Details
2021, Springer
ISBN-13: 9783030798758
Trade paperback, New
NV, USA
$55.96
-
386. Automated Deduction - Cade 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
by Platzer, André (Editor), and Sutcliffe, Geoff (Editor)
Seller Description: Fine. Trade paperback (US). Glued binding. 650 p. Contains: Unspecified, Illustrations, black & white, Illustrations, color. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2021, Springer
ISBN-13: 9783030798758
Trade paperback, Fine/Like New
Columbia, MD, USA
$56.15
-
387. Automated Deduction? ? Cade 28
Seller Description: New, Satisfaction guaranteed! ! See More Details
2021, Springer
ISBN-13: 9783030798758
Paperback, New
Irving, TX, USA
$56.36
-
388. Automated Deduction - Cade 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
by Platzer, André (Editor), and Sutcliffe, Geoff (Editor)
Seller Description: New. Trade paperback (US). Glued binding. 650 p. Contains: Unspecified, Illustrations, black & white, Illustrations, color. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2021, Springer
ISBN-13: 9783030798758
Trade paperback, New
Columbia, MD, USA
$56.40
-
389. Automated Deduction? ? Cade 28
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2021, Springer
ISBN-13: 9783030798758
Paperback, New
Irving, TX, USA
$56.60
-
390. Rules and Reasoning
Seller Description: Brand New. New. See More Details
2021, Springer Nature Switzerland AG
ISBN-13: 9783030911669
Paperback, New
New Delhi, DELHI, INDIA
$57.46
-
391. Machine Learning
Seller Description: PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK. See More Details
2021, Springer Nature B. V
ISBN-13: 9783662205983
Softcover, New
Fairford, GLOUCESTERSHIRE, UNITED KINGDOM
$57.89
|
