KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: A 25-Year Perspective on Logic Programming
Band 6125

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.06.2010

Abbildungen

XIV, 329 p. 21 illus.

Herausgeber

Agostino Dovier + weitere

Verlag

Springer Berlin

Seitenzahl

329

Gewicht

531 g

Sprache

Englisch

ISBN

978-3-642-14308-3

Beschreibung

Rezension

From the reviews:

“Chapters reviews a logic programming (LP) topic of current interest, and the progress made during the last 25 years, with special attention given to the accomplishments of Italian researchers. … Each chapter offers directions for future research in the given area. The chapters are well written, and the uniform style is unusual for a book of this kind. This book should be of interest to seasoned researchers as well as novices. … list of references at the end of each chapter should be especially helpful.” (D. Bollman, ACM Computing Reviews, April, 2011)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.06.2010

Abbildungen

XIV, 329 p. 21 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

329

Gewicht

531 g

Sprache

Englisch

ISBN

978-3-642-14308-3

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: A 25-Year Perspective on Logic Programming
  • Twenty-Five Years of Logic Programming in Italy.- Logic Programming in Italy: A Historical Perspective.- Theoretical Foundations and Semantics of Logic Programming.- Theory-Specific Automated Reasoning.- Constraint Logic Programming.- Knowledge Representation and Non-monotonic Reasoning.- The Transformational Approach to Program Development.- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming.- Answer Set Programming.- Logic Programming Languages for Databases and the Web.- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?.- Concurrent and Reactive Constraint Programming.- Proof-Theoretic and Higher-Order Extensions of Logic Programming.- Transformation and Debugging of Functional Logic Programs.- 25 Years of Applications of Logic Programming in Italy.