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

Опубликовано 1982

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

Опубликовано 1984

Report /

Опубликовано 1978

IMA journal of applied mathematics.

Опубликовано 1981

Communications on pure and applied mathematics : a journal /

Опубликовано 1949

Edinburgh mathematical tracts.

Опубликовано 1915

Mathematical chronicle.

Опубликовано 1991

Using sophisticated models in resolution theorem proving /

по Sandford, David M.
Опубликовано 1980

Advancing with mathematics.

по Begg, Andrew J. C. (Andrew John Cameron), 1940-
Опубликовано 1978

Supplementary mathematics : pilot scheme.

Опубликовано 1967

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

Опубликовано 1986

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

Опубликовано 1988

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

Опубликовано 1988

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

Опубликовано 1988

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

по Driver, E. H.
Опубликовано 1948

New Zealand journal of mathematics.

Опубликовано 1992

Newsletter /

Опубликовано 1974

Wissenschaftliche Zeitschrift der Humboldt-Universitat zu Berlin

Опубликовано 1988

The Messenger of mathematics.

Опубликовано 1871

International journal for numerical and analytical methods in geomechanics.

Опубликовано 1977