hide
Title:
LPAR-19
Abbreviation
:
LPAR 2013
Subtitle
:
19th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch,
South Africa, Short papers proceedings
Source Genre:
Proceedings
Creator(s):
McMillan, Ken1, Editor
Middeldorp, Aart1, Editor
Sutcliffe, Geoff1, Editor
Voronkov, Andrei1, Editor
Affiliations:
1
External Organizations, ou_persistent22
Publ. Info:
Manchester, UK : EasyChair
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
62 - 74
Identifier:
-