Calculemus (9 results)
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, Aisc 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings
Calmet, Jacques (EDT); International Conference AISC 2000 (2000 : Madrid, Spain) (COR); Calculemus (2002 Marseille, France) (COR)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 50.59
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, Aisc 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings
Calmet, Jacques (EDT); International Conference AISC 2000 (2000 : Madrid, Spain) (COR); Calculemus (2002 Marseille, France) (COR)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.27
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, Aisc 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings
Calmet, Jacques (EDT); International Conference AISC 2000 (2000 : Madrid, Spain) (COR); Calculemus (2002 Marseille, France) (COR)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.28
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, Aisc 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings
Calmet, Jacques (EDT); International Conference AISC 2000 (2000 : Madrid, Spain) (COR); Calculemus (2002 Marseille, France) (COR)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 54.89
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Calculemus-2000 Symposium; Kerber, Manfred; Kohlhase, Michael; Symposium on the Integration (COR)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 122.91
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Calculemus-2000 Symposium; Kerber, Manfred; Kohlhase, Michael; Symposium on the Integration (COR)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 137.57
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Calculemus-2000 Symposium; Kerber, Manfred; Kohlhase, Michael; Symposium on the Integration (COR)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 124.52
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Calculemus-2000 Symposium; Kerber, Manfred; Kohlhase, Michael; Symposium on the Integration (COR)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 137.86
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 162.74
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 270 pages. 6.50x9.25x0.75 inches. In Stock.
