Automated deduction--CADE-23：23rd International Conference on Automated Deduction, Wroc¿aw, Poland, July 31-August 5, 2011 : proceedings

Corporate Authors: International Conference on Automated Deduction (23rd 2011 Wroc¿aw, Poland); SpringerLink (Online service)
Group Author: Sofronie-Stokkermans Viorica.; Bjo rner Nikolaj.
Published: Springer,
Publication Dates: c2011.