Search dblp for Publications

export results for "toc:db/journals/cca/cca13.bht:"

 download as .bib file

@article{DBLP:journals/cca/Davenport79,
  author       = {James H. Davenport},
  title        = {Anatomy of an integral},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {4},
  pages        = {16--18},
  year         = {1979},
  url          = {https://doi.org/10.1145/1089176.1089178},
  doi          = {10.1145/1089176.1089178},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Davenport79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Gakhov79,
  author       = {F. D. Gakhov},
  title        = {Review of "Calculus of Integrals of Higher Transcendental Functions
                  (The Theory and Tables of Formulas), by O. I. Marichev", Minsk, Nauka
                  i Tekhnika, 1978},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {3},
  pages        = {7},
  year         = {1979},
  url          = {https://doi.org/10.1145/1089170.1089172},
  doi          = {10.1145/1089170.1089172},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Gakhov79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Gawlik79,
  author       = {H. James Gawlik},
  title        = {Comments on the open letter from Fateman to Veltman},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {1},
  pages        = {14--15},
  year         = {1979},
  url          = {https://doi.org/10.1145/1088282.1088284},
  doi          = {10.1145/1088282.1088284},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Gawlik79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Griesmer79,
  author       = {James H. Griesmer},
  title        = {The state of symbolic computation},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {3},
  pages        = {25--28},
  year         = {1979},
  url          = {https://doi.org/10.1145/1089170.1089174},
  doi          = {10.1145/1089170.1089174},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Griesmer79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Harrington79,
  author       = {Steven J. Harrington},
  title        = {A symbolic limit evaluation program in {REDUCE}},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {1},
  pages        = {27--31},
  year         = {1979},
  url          = {https://doi.org/10.1145/1088282.1088286},
  doi          = {10.1145/1088282.1088286},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Harrington79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Jenks79,
  author       = {Richard D. Jenks},
  title        = {{SCRATCHPAD/360:} reflections on a language design},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {1},
  pages        = {16--26},
  year         = {1979},
  url          = {https://doi.org/10.1145/1088282.1088285},
  doi          = {10.1145/1088282.1088285},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Jenks79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Jensen79,
  author       = {Jarl Jensen},
  title        = {On the formulation and solution of shell problems by means of computerized
                  algebraic manipulation},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {2},
  pages        = {13},
  year         = {1979},
  url          = {https://doi.org/10.1145/1089208.1089209},
  doi          = {10.1145/1089208.1089209},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Jensen79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Norman79,
  author       = {Arthur C. Norman},
  title        = {Testing word-sized numbers for primality},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {4},
  pages        = {19--20},
  year         = {1979},
  url          = {https://doi.org/10.1145/1089176.1089179},
  doi          = {10.1145/1089176.1089179},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Norman79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/RaulefsSSU79,
  author       = {Peter Raulefs and
                  J{\"{o}}rg H. Siekmann and
                  Peter Szab{\'{o}} and
                  E. Unvericht},
  title        = {A short survey on the state of the art in matching and unification
                  problems},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {2},
  pages        = {14--20},
  year         = {1979},
  url          = {https://doi.org/10.1145/1089208.1089210},
  doi          = {10.1145/1089208.1089210},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/RaulefsSSU79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Stoutemyer79,
  author       = {David R. Stoutemyer},
  title        = {Computer symbolic math {\&} education: a radical proposal},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {3},
  pages        = {8--24},
  year         = {1979},
  url          = {https://doi.org/10.1145/1089170.1089173},
  doi          = {10.1145/1089170.1089173},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Stoutemyer79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Wang79,
  author       = {Paul S. Wang},
  title        = {Abstracts},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {1},
  pages        = {12--13},
  year         = {1979},
  url          = {https://doi.org/10.1145/1088282.1088283},
  doi          = {10.1145/1088282.1088283},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Wang79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/WeberR79,
  author       = {Lawrence A. Weber and
                  Gerhard Rayna},
  title        = {Problem {\#}11 solved in {REDUCE:} a case study in program translation},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {4},
  pages        = {21--24},
  year         = {1979},
  url          = {https://doi.org/10.1145/1089176.1089180},
  doi          = {10.1145/1089176.1089180},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/WeberR79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/X79,
  title        = {EUROSAM'79 conference proceedings},
  journal      = {{SIGSAM} Bull.},
  volume       = {13},
  number       = {4},
  pages        = {8--15},
  year         = {1979},
  url          = {https://doi.org/10.1145/1089176.1089177},
  doi          = {10.1145/1089176.1089177},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/X79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics