Erschienen: 24.02.2012 Abbildung von Bjørner / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | 2012 | 18th International Conference,...

Bjørner / Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

lieferbar (3-5 Tage)

2012. Buch. xi, 446 S. Bibliographien. Softcover

Springer. ISBN 978-3-642-28716-9

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

Gewicht: 647 g

In englischer Sprache

Produktbeschreibung

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions.
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

Autoren

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

        Ihre Daten werden geladen ...