Symbolic Computation and Automated Reasoning
Subtitle: The CALCULEMUS-2000 Symposium
Publisher: CRC Press LLC
Published: 2001
Language: eng
Number of pages: 288
ISBN-13: 9781439864234