A Type-Coercion Problem in Computer Algebra

J. Calmet und J. A. Campbell (Editoren)
In proceedings of Artificial Intelligence and Symbolic Mathematical Computation-International Conference (AISMC-1), pages 188-194, Springer-Verlag, Aug. 1992
 

Bibtex

@INPROCEEDINGS{Weber92a,
     author = {Weber, Andreas},
     editor = {Calmet, J. and Campbell, J. A.},
      pages = {188--194},
      title = {A Type-Coercion Problem in Computer Algebra},
  booktitle = {Artificial Intelligence and Symbolic Mathematical Computation-International Conference (AISMC-1)},
     series = {Lecture Notes in Computer Science},
     volume = {737},
       year = {1992},
      month = aug,
  publisher = {Springer-Verlag}
}