-
101. Methods of Cut-Elimination
Seller Description: New, Satisfaction guaranteed! ! See More Details
2013, Springer
ISBN-13: 9789400734975
Paperback, New
Irving, TX, USA
$92.88
-
102. Methods of Cut-Elimination
by Baaz, Matthias, and Leitsch, Alexander
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 290 p. Contains: Unspecified. Trends in Logic, 34. See More Details
2013, Springer
ISBN-13: 9789400734975
Trade paperback, New
NV, USA
$103.32
-
103. Automatic Programming and Numerical Methods of Analysis
eBook See More Details
2012, Springer Nature
eBook ISBN: 9781461585909
Format: PDF eBook
Digital download
$16.50
-
104. Automated Reasoning
by Bernhard Gramlich; Âdale Miller; Âulrike Sattler
eBook See More Details
2012, Springer Nature
eBook ISBN: 9783642313646
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
105. Grammatical Evolution
by Michael O'Neill; Conor Ryan
eBook See More Details
2012, Springer Nature
eBook ISBN: 9781461350811
Format: PDF eBook
Digital download
$47.70
-
106. Automatic Programming and Numerical Methods of Analysis
by Faddeeva, V. N. (Editor)
Seller Description: New. Print on demand Seminars in mathematics . VII, 126 p. Intended for professional and scholarly audience. See More Details
2012, Springer-Verlag New York Inc.
ISBN-13: 9781461585909
Paperback, New
NV, USA
$51.65
-
107. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
by Gramlich, Bernhard (Editor), and Miller, Dale (Editor), and Sattler, Ulrike (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white. Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence . XIV, 568 p. 90 illus. Intended for professional and scholarly audience. See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642313646
Paperback, New
NV, USA
$51.65
-
108. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
by Gramlich, Bernhard (Editor), and Miller, Dale (Editor), and Sattler, Ulrike (Editor)
Seller Description: Fine. Contains: Illustrations, black & white. ; Lecture Notes in Computer Science . XIV, 568 p. 90 illus. Intended for professional and scholarly audience. 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 ... See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642313646
Paperback, Fine/Like New
Columbia, MD, USA
$58.44
-
109. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
by Gramlich, Bernhard (Editor), and Miller, Dale (Editor), and Sattler, Ulrike (Editor)
Seller Description: New. Contains: Illustrations, black & white. ; Lecture Notes in Computer Science . XIV, 568 p. 90 illus. Intended for professional and scholarly audience. 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 ... See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642313646
Paperback, New
Columbia, MD, USA
$58.69
|
