Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

CALCULEMUS

by: Manfred Kerber · Michael Kohlhase

Hardcover

ISBN: 978-1-56881-145-1

ISBN-10: 1-56881-145-4

A K Peters/CRC Press · 2001