Liknande böcker

Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Aus...
Bok av María J. Blesa
Tools and Algorithms for the Construction and Analysis of Systems : 18th...
Bok av Cormac. Flanagan
Frontiers of Combining Systems
Bok av Silvio. Ghilardi
Recent Advances in Constraints : 12th Annual ERCIM International Worksho...
Bok av Jaime G. Carbonell
Programming Multi-Agent Systems : 6th International Workshop, ProMAS 200...
Bok av Koen V. Hindriks
Fundamentals of Software Engineering : 7th International Conference, FSE...
Bok av Mehdi Dastani
Logic Programming and Nonmonotonic Reasoning : 10th International Confer...
Bok av Esra. Erdem
Implementation and Application of Functional Languages : 20th Internatio...
Bok av Sven-Bodo. Scholz

Declarative Programming and Knowledge Management

Bok av Dietmar Seipel
This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming.