Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium

Calculemus

by Michael Kohlhase

AK Peters · 2001

Hardcover

ISBN: 978-1-56881-145-1

ISBN-10: 1-56881-145-4