File r37/packages/misc/compact.bib artifact e876c3f950 part of check-in 12412d85b9


@INPROCEEDINGS{Hornfeldt:82,
  AUTHOR = "L. Hornfeldt",
  TITLE = "A Sum-Substitutor used as Trigonometric Simplifier",
  BOOKTITLE = "Proc. {EUROCAM} '82",
  PAGES = "188-195",
  SERIES = "Lecture Notes on Comp. Science",
  NUMBER = 144,
  PUBLISHER = "Springer-Verlag",
  ADDRESS = "Berlin",
  YEAR = 1982}



REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]