Title:
Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Author:
De Nivelle, Hans. editor.
ISBN:
9783319243122
Edition:
1st ed. 2015.
Physical Description:
XVI, 355 p. 70 illus. in color. online resource.
Series:
Lecture Notes in Artificial Intelligence, 9323
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-24312-2Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 518971-1001 | ONLINE | Searching... | Searching... |