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

Published 1982

Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /

Published 1984

Using sophisticated models in resolution theorem proving /

by Sandford, David M.
Published 1980

Advancing with mathematics.

by Begg, Andrew J. C. (Andrew John Cameron), 1940-
Published 1978

Supplementary mathematics : pilot scheme.

Published 1967

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

Published 1986

Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 /

Published 1988

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings /

Published 1988

MFDBS 87 : 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987 : proceedings /

Published 1988

Supplementary mathematics : covering the trigonometry, vector work, graphs and statistics for school certificate, and graphs and vector work for university entrance /

by Driver, E. H.
Published 1948

Seventh form pure mathematics guide notes.

Published 1974

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /

Published 1992

Discussion in junior mathematics : helping one another learn? : final report to the Ministry of Education /

by Thomas, Gillian K. (Gillian Kaye), 1958-
Published 1994

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

Ray shooting, depth orders and hidden surface removal /

by Berg, Mark de
Published 1993

Mathematics in the national curriculum : draft.

Published 1992

Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11,...

Published 1992

School mathematics.

Published 1990

Language and learning in secondary schools : mathematics /

by Hill, Sylvia
Published 1991