Frontiers of Combining Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18,2009, Proceedings, Lecture Notes in Computer Science 5749 – Lecture Notes in Artificial Intelligence

ISBN: 364204221X
ISBN 13: 9783642042218
Herausgeber: Silvio Ghilardi/Roberto Sebastiani
Verlag: Springer Verlag GmbH
Umfang: x, 383 S.
Erscheinungsdatum: 07.09.2009
Auflage: 1/2009
Produktform: Kartoniert
Einband: KT

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.

Artikelnummer: 5023954 Kategorie:

Beschreibung

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.

Das könnte Ihnen auch gefallen …