DMCA

on Applications of Declarative Programming and Knowledge Management

by Dietmar Seipel , Michael Hanus , Armin Wolf , Joachim Baumeister (eds , Bayerische Julius–maximilians–universität Würzburg