Logic Programming: Formal Methods and Practical Applications Studies in Computer Science and Artifical Intelligence, 11

Plümer, Lutz and Christoph Beierle:

ISBN 10: 0444820922 / ISBN 13: 9780444820921

Edité par Elsevier Science Ltd, 1995

A propos de cet article

404 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). Sprache: Englisch Gewicht in Gramm: 975.

N° de réf. du vendeur 2161963

Détails bibliographiques

• Titre: Logic Programming: Formal Methods and Practical Applications Studies in Computer Science and Artifical Intelligence, 11
• Éditeur: Elsevier Science Ltd
• Date de parution: 1995
• Langue: anglais
• ISBN à 10 chiffres: 0444820922
• ISBN à 13 chiffres: 9780444820921
• Reliure: gebundene Ausgabe
• État de l'article: Gut
• Catalogues du vendeur:
  • 90 Varia

A propos de ce titre

Synopsis

There is growing evidence of a convergence between the technical challenges of developing advanced software systems on the one hand, and the formal techniques, tools and features evolving from the logic programming paradigm on the other. This book aims at promoting such convergence. It provides contributions towards different aspects of logic programming, which are relevant to the development of complex and reliable software systems and describes a number of advanced applications. The papers are organized around four main themes: Foundations; Languages Aspects and Methodology; Constraints; and Applications. The publication closes with an outlook on the challenges and opportunities lying ahead in the field of logic programming.