Name Card

Full name Familienname, Vorname
Sands, David
 

Contributing Publications Mitbeteiligte Publikationen


Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewEditor(s)TitleTypeIssue Date
1Eiter, Thomas ; Sands, David LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46Konferenzband Proceedings 2017
2Eiter, Thomas ; Sands, David ; Sutcliffe, Geoff ; Voronkov, Andrei IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1Konferenzband Proceedings 2017