Pittsburgh, PA 15213
Automated Deduction -- CADE-24: 24th International Conference of Automated Deduction Lake Placid, NY 2013, Proceedings (LNAI 7898)
You can be confident that when you make a purchase through ABAA.org, the item is sold by an ABAA member in full compliance with our Code of Ethics. Our sellers guarantee your order will be shipped promptly and that all items are as described. Buy with confidence through ABAA.org.