Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... Notes in Computer Science (3632), Band 3632)

Proceedings

von Robert Nieuwenhuis

Taschenbuch

ISBN: 978-3-540-28005-7

ISBN-10: 3-540-28005-7

Springer Berlin Heidelberg · 2008