Verwandte Artikel zu Logic Programming: Formal Methods and Practical Applications...

Logic Programming: Formal Methods and Practical Applications (STUDIES IN COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE) - Hardcover

Beierle, Christoph

 
9780444820921: Logic Programming: Formal Methods and Practical Applications (STUDIES IN COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE)
Hardcover
ISBN 10: 0444820922 ISBN 13: 9780444820921
Verlag: Elsevier Science Ltd, 1994

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Elsevier Science Ltd
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
0444820922
ISBN 13 
9780444820921
Einband
Gebundene Ausgabe
Anzahl der Seiten
418
Herausgeber
Plumer Lutz
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar