Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 400-420 di 2094

Relations between combinatorics and other parts of mathematics

[proceedings of the symposium in pure mathematics of the American mathematical society held at the Ohio State University, Columbus, Ohio, March 20-23, 1978]

  • Symposium in pure mathematics of the American mathematical society 34. Columbus, Ohio 1978

Mathematical logic and foundations of set theory

proceedings of an international colloquium held under the auspices of the Israel academy of sciences and humanities : Jerusalem, 11-14 november 1968

Rewriting techniques and applications

12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

  • International conference rewriting techniques and applications 12th Utrecht 2001

Algebraic functions

1964, lectures delivered at Columbia university

  • Lang, Serge

The limits of logic

higher-order logic and the Löwenheim-Skolem theorem

Graphes

  • Berge, Claude

Algorithms and computation

13th international symposium, ISAAC 2002,Vancouver, BC, Canada, November 21-23, 2002 : proceddengs

  • International symposium on algorithms and computation 13. Vancouver, Canad 2002

Mathematical modelling

a case study approach

  • Clements, Dick