✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 362.450 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Softcover - 9783540755586
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Details

Verlag Springer Berlin
Ersterscheinung 08. Oktober 2007
Maße 23.5 cm x 15.5 cm
Gewicht 867 Gramm
Format Softcover
ISBN-13 9783540755586
Seiten 564

Schlagwörter

Artificial Intelligence, Computer Science Logic and Foundations of Programming, Computerprogrammierung und Softwareentwicklung, Formal Languages and Automata Theory, Künstliche Intelligenz, Programming Techniques, Software Engineering, Theoretische Informatik

Herstellerinformationen +