Symbolic Computation and Automated Reasoning
Subtitle: The CALCULEMUS-2000 Symposium
Publisher: CRC Press LLC
Published: 2001
Language: eng
ISBN-13: 9780429064302