![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/cca/cca13.bht:"
@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} }
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.