Nonstandard Analysis : :: SCD d'Orléans

Nonstandard Analysis : Recent Developments

Nonstandard Analysis : Recent Developments

Đã lưu trong:

Chi tiết về thư mục
Tác giả khác:	Hurd, Albert Emerson, 1931-2009 (Giám đốc xuất bản)
Định dạng:	Livre numérique
Ngôn ngữ:	Anglais
Được phát hành:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Loạt:	Lecture notes in mathematics 983
Những chủ đề:	Logique symbolique et mathématique Analyse mathématique non standard Actes de congrès
Truy cập trực tuyến:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Chú thích:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Nonstandard analysis, recent developments, edited by A. E. Hurd, 1983, Berlin [etc.], Springer-Verlag, 1 vol. (213 p.), Lecture notes in mathematics, 0-387-12279-6 • Nonstandard Analysis - Recent Developments, Texte imprimé, 9783662165447

Những quyển sách tương tự

Nonstandard Asymptotic Analysis
Bằng: Van den Berg, Imme, 19..-...., mathématicien-économiste

Victoria Symposium on nonstandard analysis : University of Victoria 1972

Nonstandard Analysis
Bằng: Väth, Martin, 1967-...., mathématicien

Nonstandard Analysis in Practice
Bằng: Diener, Francine

Applied nonstandard analysis
Bằng: Davis, Martin, 1928-2023
Được phát hành: (1977)

Nonstandard Methods of Analysis
Bằng: Kusraev, Anatolij Georgievič, 1953-, et al.

The Strength of Nonstandard Analysis
Được phát hành: (2007)

Nonstandard analysis : a practical guide with applications
Bằng: Lutz, Robert, 1943-2020, mathématicien, et al.

Lectures on non-standard analysis
Bằng: Machover, Maurice, 1931-2007, et al.
Được phát hành: (1969)

Lectures on non-standard analysis
Bằng: Machover, Maurice, 1931-2007, et al.

Non-standard analysis
Bằng: Robinson, Abraham, 1918-1974, mathématicien
Được phát hành: (1966)

Advances in Analysis, Probability and Mathematical Physics : Contributions of Nonstandard Analysis

Analyse non standard
Bằng: Diener, Francine, et al.
Được phát hành: (1989)

Analyse non standard
Bằng: Diener, Francine, et al.
Được phát hành: (1989)

Loeb Measures in Practice : Recent Advances
Bằng: Cutland, Nigel, 1944-

Contributions to non-standard analysis
Bằng: Luxemburg, Wilhelmus A. J., 1929-2018
Được phát hành: (1972)

Analyse non standard et représentation du réel : actes de l'École d'été, Oran, les Andalouses, 8-12 septembre 1984
Được phát hành: (1985)

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
Bằng: Eijck, Jan van, informaticien

Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
Bằng: Bernays, Paul, 1888-1977, et al.
Được phát hành: (1958)

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975
Được phát hành: (1977)

Introduction to asymptotics : a treatment using nonstandard analysis
Bằng: Jones, Douglas Samuel, 1922-2013
Được phát hành: (1997)

Fundamentals of computation theory : international conference FCT '87 Kazan, USSR, June 22 26, 1987 : proceedings

MFDBS 89 : 2nd Symposium on mathematical fundamentals of database systems, Visegrád, Hungary, June 26-30, 1989 : proceedings

Logic Colloquium : Symposium on Logic Held at Boston, 1972 73

Conference in mathematical logic, London '70

Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971

Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
Bằng: Miglioli, Pierangelo, 1946-

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
Bằng: Baumgartner, Peter, 1953-

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers

The problem of inductive logic
Được phát hành: (1968)

Informatique mathématique : une photographie en 2022
Bằng: Bournez, Olivier, et al.
Được phát hành: (2022)

Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971
Được phát hành: (1973)

Conference in mathematical logic, London '70
Được phát hành: (1972)

Logic colloquium '69 : proceedings of the Summer school and colloquium in mathematical logic, Manchester, August 1969
Được phát hành: (1971)

Logic colloquium '73 : proceedings of the Logic colloquium, Bristol, July 1973
Được phát hành: (1975)

Logic colloquium'77 : Proceedings of the colloquium held in Wroclaw, August 1977
Được phát hành: (1978)

Logic Colloquium '78 : proceedings of the Colloquium held in Mons, August 1978
Được phát hành: (1979)

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Được phát hành: (1968)

Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic
Được phát hành: (1968)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales