-
151. Logic for Programming, Artificial Intelligence, an
Seller Description: Brand New. New. See More Details
2011, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642175107
Paperback, New
New Delhi, DELHI, INDIA
$51.11
-
152. Logic for Programming, Artificial Intelligence, and Reasoning
by Edmund M. Clarke; Âandrei Voronkov
eBook See More Details
2011, Springer Nature
eBook ISBN: 9783642175107
Edition: 1st edition
Format: PDF eBook
Digital download
$54.99
-
153. Logic for Programming, Artificial Intelligence, an
Seller Description: New, Satisfaction guaranteed! ! See More Details
2011, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642175107
Paperback, New
Irving, TX, USA
$56.62
-
154. Methods of Cut-Elimination
by Matthias Baaz; Alexander Leitsch
eBook See More Details
2011, Springer Nature
eBook ISBN: 9789400703193
Edition: 2011 edition
Format: EPUB eBook
Digital download
$59.40
-
155. Automating Sharepoint 2010 With Windows Powershell 2.0
by Bray, Shannon
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2011, Sybex
ISBN-13: 9780470939208
paperback, Good
Santa Clarita, CA, USA
$79.54
-
156. Methods of Cut-Elimination
Seller Description: Brand New. New. See More Details
2011, Springer
ISBN-13: 9789400703193
New Delhi, DELHI, INDIA
$82.71
-
157. Theorem Proving With the Real Numbers (Distinguished Dissertations)
Seller Description: Good. Paperback 100% of proceeds go to charity! Good condition with all pages in tact. Item shows signs of use and may have cosmetic defects. See More Details
2011, Springer
ISBN-13: 9781447115939
Paperback, Good
Eugene, OR, USA
$85.59
-
158. Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, Lpar-16, Dakar, Senegal, April 25--May 1, 2010, Revised...Papers (Lecture Notes in Computer Science)
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2011, Springer
ISBN-13: 9783642175107
paperback, Good
Santa Clarita, CA, USA
$87.78
-
159. Theorem Proving With the Real Numbers
Seller Description: Brand New. New. See More Details
2011, Springer
ISBN-13: 9781447115939
Paperback, New
New Delhi, DELHI, INDIA
$88.34
-
160. Theorem Proving With the Real Numbers
Seller Description: New, Satisfaction guaranteed! ! See More Details
2011, Springer
ISBN-13: 9781447115939
Paperback, New
Irving, TX, USA
$92.88
-
161. Methods of Cut-Elimination
Seller Description: New, Satisfaction guaranteed! ! See More Details
2011, Springer
ISBN-13: 9789400703193
Irving, TX, USA
$92.88
-
162. Methods of Cut-Elimination: 34 (Trends in Logic, 34) [Hardcover] [Jan 17, 2011] Baaz, Matthias and Leitsch, Alexander
Seller Description: New. See More Details
2011, Springer
ISBN-13: 9789400703193
Weybridge, SURREY, UNITED KINGDOM
$102.46
-
163. Theorem Proving with the Real Numbers
by Harrison, John
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 186 p. Distinguished Dissertations. See More Details
2011, Springer
ISBN-13: 9781447115939
Trade paperback, New
NV, USA
$103.32
-
164. Methods of Cut-Elimination
by Baaz, Matthias, and Leitsch, Alexander
Seller Description: New. Print on demand Trends in Logic . VI, 290 p. Intended for professional and scholarly audience. See More Details
2011, Springer
ISBN-13: 9789400703193
Hardcover, New
NV, USA
$103.32
-
165. Methods of Cut-Elimination
by Baaz, Matthias, and Leitsch, Alexander
Seller Description: Fine. Trends in Logic . VI, 290 p. 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 customers. See More Details
2011, Springer
ISBN-13: 9789400703193
Hardcover, Fine/Like New
Columbia, MD, USA
$113.87
-
166. Methods of Cut-Elimination
by Baaz, Matthias, and Leitsch, Alexander
Seller Description: New. Trends in Logic . VI, 290 p. 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 customers. See More Details
2011, Springer
ISBN-13: 9789400703193
Hardcover, New
Columbia, MD, USA
$114.12
-
167. Automating Sharepoint 2010 With Windows Powershell 2.0
by Bray, Shannon
Seller Description: New. See More Details
2011, Sybex
ISBN-13: 9780470939208
paperback, New
Miramar, FL, USA
$119.13
-
168. Extensional Constructs in Intensional Type Theory
Seller Description: Brand New. New. See More Details
2011, Springer
ISBN-13: 9781447112433
Paperback, New
New Delhi, DELHI, INDIA
$119.14
|
