Erschienen: 07.09.2009 Abbildung von Ghilardi / Sebastiani | Frontiers of Combining Systems | 2009 | 7th International Symposium, F...

Ghilardi / Sebastiani

Frontiers of Combining Systems

7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

lieferbar (3-5 Tage)

2009. Buch. x, 383 S. Bibliographien. Softcover

Springer. ISBN 978-3-642-04221-8

Format (B x L): 15,5 x 23,5 cm

Gewicht: 605 g

In englischer Sprache

Produktbeschreibung

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...