Set Theory Computing Decision by Cantone Domenico (11 results)
Language: English
Published by Springer, 2001
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 89.25
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Set Theory for Computing : From Decision Procedures to Declarative Programming With Sets
Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto; Schwartz, J. T. (FRW)
Language: English
Published by Springer, 2011
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 141.93
£ 1.98 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer, 2001
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 156.14
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2001
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 155.87
£ 2.25 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2001
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 138.80
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2001
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 157.91
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Set Theory for Computing : From Decision Procedures to Declarative Programming With Sets
Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto; Schwartz, J. T. (FRW)
Language: English
Published by Springer, 2011
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 161.80
£ 1.98 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer, 2001
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 151.83
£ 12.83 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Language: English
Published by Springer, 2001
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 152.50
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Set Theory for Computing: From Decision Procedures to Declarative Programming With Sets
Cantone, Domenico/ Omodeo, Eugenio/ Policriti, Alberto/ Schwartz, J. T. (Foreward By)
Language: English
Published by Springer Verlag, 2014
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 198.61
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 428 pages. 9.21x5.98x0.94 inches. In Stock.
Language: English
Published by Springer New York, 2001
- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 118.29
£ 40.99 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.Wha.…
