Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Computer Science, Band 7788)
von:
Maria Paola Bonacina
· Mark E. Stickel
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-36674-1
ISBN-10: 3-642-36674-0
Springer
· 2013