• 1096 Citations
  • 18 h-Index
1987 …2021
If you made any changes in Pure these will be visible here soon.

Research Outputs 1987 2019

Filter
Edited Book/Anthology
2015

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. (ed.) & Voronkov, A. (ed.), 2015, Heidelberg: Springer, Springer Nature. 640 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9450)

Research output: Book/ReportEdited Book/AnthologyResearchpeer-review

2003

Programming Methodology

McIver, A. (ed.) & Morgan, C. (ed.), 2003, Springer, Springer Nature.

Research output: Book/ReportEdited Book/AnthologyResearch