9783540672814 - frontiers of combining systems: third international workshop, frocos 2000 nancy, france, march 22-24, 2000 proceedings (lecture notes in computer science, 1794, band 1794) von kirchner, helene; ringeissen, christophe (3 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,41
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,35 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of FroCoS2000, the 3rd International WorkshoponFrontiersofCombiningSystems,heldMarch22 24,2000,inNancy, France. Like its predecessors organized in Munich (1996) and in Amsterdam (1998), FroCoS2000 is intended to o… er a common forum for research activities related to the combination and the integration of systems in the areas of logic, automateddeduction,constraintsolving,declarativeprogramming,andarti cial intelligence. There were 31 submissions of overall high quality, authored by researchers from countries including Australia, Brasil, Belgium, Chili, France, Germany, - pan, Ireland, Italy, Portugal, Spain, Switzerland, The Netherlands, the United Kingdom, and the United States of America. All submissions were thoroughly evaluatedonthebasisofatleastthreerefereereports,andanelectronicprogram committeemeetingwasheldthroughtheInternet.Theprogramcommitteesel- ted 14 research contributions. The topics covered by the selected papers include: combinationoflogics;combinationofconstraintsolvingtechniques,combination of decision procedures; modular properties for theorem proving; combination of deduction systems and computer algebra; integration of decision procedures and other solving processes into constraint programming and deduction systems. We welcomed ve invited lectures by Alexander Bockmayr on Combining Logic and Optimization in Cutting Plane Theory , Gilles Dowek on Axioms vs. Rewrite Rules: From Completeness to Cut Elimination , Klaus Schulz on Why Combined Decision Problems Are Often Intractable , Tomas Uribe on Combinations of Theorem Proving and Model Checking , and Richard Zippel on Program Composition Techniques for Numerical PDE Codes . Full papers of these lectures, except the last one, are also included in this volume.
- Softcover
Anbieter: CSG Onlinebuch GMBH, Darmstadt, DeutschlandCSG Onlinebuch GMBH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 25,42
EUR 95,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Gut. Gebraucht - Gut Verlagsmängelex., X, 291 pp. Brosch. This book constitutes the refereed proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, held in Nancy, France, in March 2000. The 14 revised full papers presented together with four invited papers were careful…ly reviewed and selected from a total of 31 submissions. Among the topics covered are constraint processing, interval narrowing, rewriting systems, proof planning, sequent calculus, type systems, model checking, theorem proving, declarative programming, logic programming, and equational theories.
