Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, WΓΌrzburg, Germany, September 19β22, 2017, Revised Selected Papers
Dietmar Seipel Β· Michael Hanus Β· Salvador Abreu
αααααΆ 2018 Β· Springer