Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science (1095), Band 1095)

Equational

von: William McCune · R. Padmanabhan

Taschenbuch

Details (Deutschland)

ISBN: 978-3-540-61398-5

ISBN-10: 3-540-61398-6

Springer · 2008