Cargando…

Combinatory logic: pure, applied and typed

Detalles Bibliográficos
Autor principal:	Bimbó, Katalin
Lenguaje:	eng
Publicado:	CRC Press 2012
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/1636681

Ejemplares similares

Pure inductive logic
por: Paris, Jeffrey, et al.
Publicado: (2015)

Mathematical problems from applied logic: logics for the XXIst century
por: Gabbay, Dov, et al.
Publicado: (2006)

Advanced calculus, pure and applied
por: O'Neil, Peter V
Publicado: (1975)

Proof theory : sequent calculi and related formalisms
por: Bimbó, Katalin
Publicado: (2015)

Recent advances in pure and applied mathematics
por: Gallego, Francisco, et al.
Publicado: (2020)

International Conference on Recent Advances in Pure and Applied Mathematics
por: Deo, Naokant, et al.
Publicado: (2020)

Vectors, pure and applied: a general introduction to linear algebra
por: Körner, T W
Publicado: (2012)

Joseph Liouville 1809–1882: master of pure and applied mathematics
por: Lützen, Jesper
Publicado: (1990)

A computational logic handbook: formerly notes and reports in computer science and applied mathematics
por: Boyer, Robert S, et al.
Publicado: (1988)

Combinatorial techniques
por: Sane, Sharad S
Publicado: (2013)

Combinatorial optimization
por: Padberg, M
Publicado: (1980)

Combinatorial optimization
por: Rayward-Smith, V
Publicado: (1980)

Combinatorial theory
por: Aigner, Martin
Publicado: (1997)

Combinatorial identities
por: Riordan, John
Publicado: (1968)

Combinatorial methods
por: Percus, Jerome K
Publicado: (1971)

Combinatorial algorithms
por: Nijenhuis, Albert, et al.
Publicado: (1975)

Combinatorial Enumeration
por: Goulden, Ian P, et al.
Publicado: (2004)

Combinatorial Theory
por: Hall, Marshall
Publicado: (2011)

Combinatorial functors
por: Crossley, J N, et al.
Publicado: (1974)

Combinatorial geometries
por: White, Neil
Publicado: (1987)

Combinatorial theory
por: Aigner, Martin
Publicado: (1979)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Logic, action and cognition: essays in philosophical logic
por: Ejerhed, Eva, et al.
Publicado: (1997)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1994)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C L, et al.
Publicado: (1994)

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

Nonlinear combinatorial optimization
por: Du, Ding-Zhu, et al.
Publicado: (2019)

Combinatorial matrix theory
por: Encinas, Andrés, et al.
Publicado: (2018)

Introduction to combinatorial designs
por: Wallis, WD
Publicado: (2007)

Elements of combinatorial computing
por: Wells, Mark B
Publicado: (1971)

Conference on Combinatorial Mathematics
por: Casse, Louis
Publicado: (1983)

Combinatorial game theory
por: Siegel, Aaron N
Publicado: (2013)

Applications of combinatorial optimization
por: Paschos, Vangelis Th
Publicado: (2014)

Concepts of combinatorial optimization
por: Paschos, Vangelis Th
Publicado: (2014)

Excursions into combinatorial geometry
por: Boltyanski, Vladimir, et al.
Publicado: (1997)

Introduction to combinatorial torsions
por: Turaev, Vladimir
Publicado: (2001)

Intuitive combinatorial topology
por: Boltyanskiĭ, V G, et al.
Publicado: (2001)

Handbook of combinatorial optimization
por: Du, Ding-Zhu, et al.
Publicado: (1999)

Combinatorial network theory
por: Du, Ding-Zhu, et al.
Publicado: (1996)

Algorithmic and combinatorial algebra
por: Bokut’, L A, et al.
Publicado: (1994)

Cannot write session to /tmp/vufind_sessions/sess_sv635cu5ra6o48unc3spqr0hh1