Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings /

Published 1981

Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 /

Published 1982

Journal of computational chemistry.

Characterization and interpretation of rock mass joint patterns /

by La Pointe, P. R.
Published 1985

Group-theoretic algorithms and graph isomorphism /

by Hoffmann, Christoph M. (Christoph Martin), 1946-
Published 1982

How to multiply matrices faster /

by Pan, Victor
Published 1984

Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings /

Published 1983

Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 /

Published 1979

Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 /

Published 1982

Direct methods for sparse matrices /

by Sterby, Ole
Published 1983

Edinburgh LCF : a mechanised logic of computation /

by Gordon, Michael J. C., 1948-
Published 1979

Using sophisticated models in resolution theorem proving /

by Sandford, David M.
Published 1980

Computer programs for spelling correction : an experiment in program design /

by Peterson, James L. (James Lyle)
Published 1980

Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985 : proceedings /

Published 1986

EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings /

Published 1985

Parallel computing in science and engineering : 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26, 1987 /

Published 1988

Graph reduction : proceedings of a workshop, Santa Fe, New Mexico, USA, September 29-October 1, 1986 /

Published 1987

Computational geometry and its applications : CG'88, International Workshop on Computational Geometry, Wurzburg, FRG, March 24-25, 1988 : proceedings /

Published 1988

Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15 1992 : proceedings /

Published 1993

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 1993 : proceedings /

Published 1993