Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science (1095), Band 1095)
von:
William McCune
·
R. Padmanabhan
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-61398-5
ISBN-10: 3-540-61398-6
Springer
· 2008
