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

Verlag: Elsevier Science Ltd, 1995

Beschreibung

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.

Bestandsnummer des Verkäufers 2161963

Bibliografische Details

• Titel: Logic Programming: Formal Methods and Practical Applications Studies in Computer Science and Artifical Intelligence, 11
• Verlag: Elsevier Science Ltd
• Veröffentlichungsdatum: 1995
• Sprache: Englisch
• ISBN-10: 0444820922
• ISBN-13: 9780444820921
• Bindung: gebundene Ausgabe
• Zustand: Gut
• Verkäuferkataloge:
  • 90 Varia

Über diesen Titel

Inhaltsangabe

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.