Title:
Programming Logics Essays in Memory of Harald Ganzinger
Author:
Voronkov, Andrei. editor.
ISBN:
9783642376511
Physical Description:
X, 447 p. 69 illus. online resource.
Series:
Lecture Notes in Computer Science, 7797
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-37651-1Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 334468-1001 | ONLINE(334468.1) | Searching... | Searching... |