Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science (2392), Band 2392)

Proceedings

von Andrei Voronkov

Taschenbuch

ISBN-13: 978-3-540-43931-8

ISBN-10: 3-540-43931-5

Springer Berlin Heidelberg · 2010