default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSAM Bulletin, Volume 13
Volume 13, Number 1, February 1979
- Paul S. Wang:
Abstracts. 12-13 - H. James Gawlik:
Comments on the open letter from Fateman to Veltman. 14-15 - Richard D. Jenks:
SCRATCHPAD/360: reflections on a language design. 16-26 - Steven J. Harrington:
A symbolic limit evaluation program in REDUCE. 27-31
Volume 13, Number 2, May 1979
- Jarl Jensen:
On the formulation and solution of shell problems by means of computerized algebraic manipulation. 13 - Peter Raulefs, Jörg H. Siekmann, Peter Szabó, E. Unvericht:
A short survey on the state of the art in matching and unification problems. 14-20
Volume 13, Number 3, August 1979
- F. D. Gakhov:
Review of "Calculus of Integrals of Higher Transcendental Functions (The Theory and Tables of Formulas), by O. I. Marichev", Minsk, Nauka i Tekhnika, 1978. 7 - David R. Stoutemyer:
Computer symbolic math & education: a radical proposal. 8-24 - James H. Griesmer:
The state of symbolic computation. 25-28
Volume 13, Number 4, November 1979
- EUROSAM'79 conference proceedings. 8-15
- James H. Davenport
:
Anatomy of an integral. 16-18 - Arthur C. Norman:
Testing word-sized numbers for primality. 19-20 - Lawrence A. Weber, Gerhard Rayna:
Problem #11 solved in REDUCE: a case study in program translation. 21-24
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.
last updated on 2025-01-06 23:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
