Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /: the CALCULEMUS-2000 Symposium. (2001) - Unknown
No abstract available