Cargando…

A Modern Perspective on Type Theory: From its Origins until Today

Detalles Bibliográficos
Autores principales:	Kamareddine, Fairouz D, Laan, Twan, Nederpelt, Rob
Lenguaje:	eng
Publicado:	Springer 2004
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/1-4020-2335-9 http://cds.cern.ch/record/997084

Ejemplares similares

Thirty five years of automating mathematics
por: Kamareddine, Fairouz
Publicado: (2003)

Ramsey Theory: Yesterday, Today, and Tomorrow
por: Soifer, Alexander
Publicado: (2011)

Modern probability theory and its applications
por: Parzen, Emanuel
Publicado: (1960)

Origins of modern algebra
por: Novy, Lubos
Publicado: (1973)

Modern dimension theory
por: Nagata, Jun-Iti, et al.
Publicado: (1965)

Modern theory of integration
por: Bartle, Robert G
Publicado: (2001)

Modern theories of integration
por: Kestelman, Hyman
Publicado: (1960)

Modern control theory
por: Bubnicki, Zdzislaw
Publicado: (2005)

Modern graph theory
por: Bollobás, Béla
Publicado: (1998)

Philosophy of mathematics today
por: Agazzi, E, et al.
Publicado: (1997)

Modern cryptography: theory and practice
por: Mao, Wenbo
Publicado: (2004)

Automata theory with modern applications
por: Anderson, James A
Publicado: (2006)

Number theory: tradition and modernization
por: Zhang, Wenpeng, et al.
Publicado: (2006)

Moduli in Modern Mapping Theory
por: Ryazanov, Vladimir, et al.
Publicado: (2009)

Group theory and modern analysis
por: Haig, F R, et al.
Publicado: (1963)

Classical and modern integration theories
por: Pesin, Ivan N, et al.
Publicado: (1970)

Topics in Modern Regularity Theory
por: Mingione, Giuseppe
Publicado: (2012)

An invitation to modern number theory
por: Miller, Steven J, et al.
Publicado: (2006)

Labyrinth of thought: a history of set theory and its role in modern mathematics
por: Ferreirós, José
Publicado: (2007)

Labyrinth of thought: a history of set theory and its role in modern mathematics
por: Hiebert, Erwin, et al.
Publicado: (1999)

Wave phenomena: modern theory and applications
por: Rogers, C, et al.
Publicado: (1984)

Handbook of modern item response theory
por: Linden, Wim, et al.
Publicado: (1997)

Modern multidimensional scaling: theory and applications
por: Borg, Ingwer, et al.
Publicado: (1997)

A modern theory of factorial designs
por: Mukerjee, Rahul, et al.
Publicado: (2006)

Modern trends in fuzzy graph theory
por: Pal, Madhumangal, et al.
Publicado: (2020)

A modern approach to probability theory
por: Fristedt, Bert, et al.
Publicado: (1997)

Modern sampling theory: mathematics and applications
por: Benedetto, John J, et al.
Publicado: (2001)

Modern Multidimensional Scaling: Theory and Applications
por: Borg, Ingwer
Publicado: (2005)

Modern mathematical methods in transport theory
por: Greenberg, William, et al.
Publicado: (1991)

Mathematics Today: Twelve Informal Essays
por: Steen, Lynn Arthur
Publicado: (1978)

Essays on control: perspectives in the theory and its applications
por: Trentelman, H, et al.
Publicado: (1993)

Discovering modern set theory I: the basics
por: Just, Winfried, et al.
Publicado: (1995)

A classical introduction to modern number theory
por: Ireland, Kenneth, et al.
Publicado: (1990)

Modern Aspects of the Theory of Partial Differential Equations
por: Ruzhansky, Michael, et al.
Publicado: (2011)

A guide to classical and modern model theory
por: Marcja, Annalisa, et al.
Publicado: (2003)

A classical introduction to modern number theory
por: Ireland, Kenneth, et al.
Publicado: (1982)

Splitting algorithms, modern operator theory, and applications
por: Bauschke, Heinz, et al.
Publicado: (2019)

Diffusion and ecological problems modern perspectives
por: Okubo, Akira, et al.
Publicado: (2001)

Classical and modern numerical analysis: theory, methods and practice
por: Ackleh, Azmy S, et al.
Publicado: (2009)

Parametric statistical inference: basic theory and modern approaches
por: Zacks, Shelemyahu, et al.
Publicado: (1981)

Cannot write session to /tmp/vufind_sessions/sess_bnvl55bhb0863e3gdpbdstdct8