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)

Synopsis

This text aims at promoting a convergence between the technical challenges of developing advanced software systems and the formal techniques, tools and features evolving from the logic programming paradigm. It provides contributions towards different apsects of logic programming.

"synopsis" may belong to another edition of this title.