Frontiers Combining Systems 4th (9 results)
Frontiers of Combining Systems : 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : Proceedings
Frocos 200 (2002 Santa Margherita Ligure, Italy); Armando, Alessandro (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.71
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Frontiers of Combining Systems : 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : Proceedings
Frocos 200 (2002 Santa Margherita Ligure, Italy); Armando, Alessandro (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 66.49
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 64.90
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.58
US$ 16.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Frontiers of Combining Systems : 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : Proceedings
Frocos 200 (2002 Santa Margherita Ligure, Italy); Armando, Alessandro (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 70.57
US$ 20.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Frontiers of Combining Systems : 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : Proceedings
Frocos 200 (2002 Santa Margherita Ligure, Italy); Armando, Alessandro (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.10
US$ 20.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.68
US$ 71.77 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers of Combining Systems, held April 8-10, 2002 in Santa Margherita Ligure (near Genova), Italy. Like its predecessors, organized in - nich (1996), Amsterd…am (1998), and Nancy (2000), FroCoS 2002 o ered a c- mon forum for the presentation and discussion of research activities on the c- bination and integration of systems in various areas of computer science, such as logic, computation, program development and proof, arti cial intelligence, mechanical veri cation, and symbolic computation. There were 35 submissions of high quality, authored by researchers from countries including Australia, Belgium, Brazil, Finland, France, Germany, Italy, Portugal, Spain, Singapore, United Kingdom, United States of America, and - goslavia. All the submissions were thoroughly evaluated on the basis of at least three referee reports, and an electronic program committee meeting was held through the Internet. The program committee selected 14 research contributions. The topics covered by the selected papers include: combination of logics, c- bination of constraint solving techniques, combination of decision procedures, combination problems in veri cation, modular properties of theorem proving, integration of decision procedures and other solving processes into constraint programming and deduction systems.
- Softcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
US$ 70.84
US$ 87.68 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 2002nd.
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.83
US$ 80.91 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Frontiers of Combining Systems | 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings | Alessandro Armando | Taschenbuch | viii | Englisch | 2002 | Springer | EAN 9783540433811 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr.…17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
