Calculemus (8 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, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 51.15
£ 1.98 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, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.59
£ 1.98 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
£ 55.76
£ 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, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 102.09
£ 1.98 shippingShips within U.S.A.Quantity: 10 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, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 113.91
£ 1.98 shippingShips within U.S.A.Quantity: 10 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
£ 100.28
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 10 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
£ 107.83
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Condition: New.
