Title:
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Author:
Galmiche, Didier. editor.
ISBN:
9783642405372
Physical Description:
X, 289 p. 34 illus. online resource.
Series:
Lecture Notes in Computer Science, 8123
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-40537-2Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 334962-1001 | ONLINE(334962.1) | Searching... | Searching... |