Title:
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Author:
McMillan, Ken. editor.
ISBN:
9783642452215
Physical Description:
XIV, 794 p. 178 illus. online resource.
Series:
Lecture Notes in Computer Science, 8312
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-45221-5Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 335196-1001 | ONLINE(335196.1) | Searching... | Searching... |