No photo of Ansgar Fehnker

Ansgar Fehnker

dr.

19982018
If you made any changes in Pure these will be visible here soon.

Research Output 1998 2018

Filter
Book editing
2015
7 Downloads (Pure)

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Davis, M. (ed.), Fehnker, A. (ed.), McIver, A. & Voronkov, A., 2015, Springer. 640 p. (Lecture Notes in Computer Science; vol. 9450)

Research output: Book/ReportBook editingAcademic

Open Access
File

LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

Fehnker, A. (ed.), McIver, A. (ed.), Sutcliffe, G. (ed.) & Voronkov, A. (ed.), 2015, EasyChair. (EPiC Series in Computing; vol. 35)

Research output: Book/ReportBook editingAcademic

Open Access