Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings Contributor(s): Gramlich, Bernhard (Editor), Miller, Dale (Editor), Sattler, Ulrike (Editor) |
|
ISBN: 3642313647 ISBN-13: 9783642313646 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: June 2012 |
Additional Information |
BISAC Categories: - Computers | Intelligence (ai) & Semantics - Computers | Data Processing - Mathematics | Logic |
Dewey: 511.3 |
Series: Lecture Notes in Artificial Intelligence |
Physical Information: 1.3" H x 6.1" W x 9.2" (1.90 lbs) 568 pages |