An Approach to Class Reasoning in Symbolic Computation
暂无分享,去创建一个
[1] Richard D. Jenks,et al. AXIOM: the scientific computation system , 1992 .
[2] Attilio Colagrossi,et al. A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems , 1995, J. Symb. Comput..
[3] Marco Temperini,et al. Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems , 1995, J. Symb. Comput..
[4] Neil Soiffer,et al. An object-oriented approach to algebra system design , 1986, SYMSAC '86.
[5] Daniel G. Bobrow,et al. Common lisp object system specification , 1988, SIGP.
[6] Carla Limongelli,et al. Abstract Specification of Structures and Methods in Symbolic Mathematical Computation , 1992, Theor. Comput. Sci..
[7] Carla Limongelli,et al. Design and Implementation of Symbolic Computation Systems , 1991, Lecture Notes in Computer Science.
[8] Giorgio Delzanno,et al. Objects in Forum , 1995, ILPS.