An introduction to lamba calculi for computer scientists /

QR Code

An introduction to lamba calculi for computer scientists /

Bibliographic Details
Main Author:	Hankin, Chris, 1954-
Format:	Book
Language:	English
Published:	Strand, Londo, Uk : King's College Publications.
Edition:	2nd edition
Subjects:	LENGUAJES DE PROGRAMACIÓN FUNCIONES (MATEMÁTICAS) CÁLCULO MATEMÁTICA APLICADA LÓGICA

Similar Items

An introduction to Lambda Calculi for computer scientists. Volume 2 /
by: Hankin, Chris
Published: (2004)

The Calculi of lambda-conversion
by: Church, Alonzo n. 1903, et al.
Published: (1941)

Applied logic for computer scientists : computational deduction and formal proofs /
by: Ayala-Rincón, Mauricio
Published: (2017)

Matemáticas aplicadas a la administración y los negocios. /
Published: (2014)

Matemática discreta y lógica /
by: Grassmann, W. K.
Published: (1998)

Logic, sets, and recursion /
by: Causey, Robert L.

Programming with mathematica : an introduction /
by: Wellin, Paul
Published: (2014)

Introducción al cálculo
by: Kuratowski, Kasimiers
Published: (1973)

Lectures on propositional calculi /
by: Wojicki, Ryszard, et al.
Published: (1984)

Symbolic logic and the game of logic /
by: Carroll, Lewis, 1832-1898
Published: (1958)

Cálculo para ciencias administrativas, biológicas y sociales /
by: Leithold, Louis, 1925-2005
Published: (2006)

Mathematica in action : problem solving through visualization and computation /
by: Wagon, Stan
Published: (2010)

A concise introduction to mathematical logic /
by: Rautenberg, Wolfgang 1936-2011
Published: (2010)

Nuevas tablas de logaritmos : con cinco decimales /
by: Bouvart, C.
Published: (1974)

The mathematica guidebook : for programming /
by: Trott, Michael
Published: (2004)

Cálculo : una variable /
by: Thomas, George B.,
Published: (2015)

Functional calculi for pseudodiferential operators /
by: Alvarez Alonzo, J.D.
Published: (1980)

Lógica matemática y computabilidad /
by: Sancho de San Ramón, Juan
Published: (1990)

Matlab for beginners : a gentle approach /
by: Kattan, Peter Issa, 1961- ,
Published: (2009)

Cálculo de funciones por recursión de cola y sustitución de parámetros
by: Alfaro Salazar, Georges E.

Introducción al cálculo e integral /
by: Acuña Chacón, Reiman
Published: (2016)

Investigación de operaciones /
by: Winston, Wayne L.
Published: (1994)

Los graficos de las funciones como una argumentacion del calculo /
by: Cordero Osorio, Francisco
Published: (1995)

Computability and logic /
by: Boolos, George
Published: (1980)

Quiero entender el cálculo : un enfoque diferente basado en conceptos y aplicaciones /
by: Mochón, Simón
Published: (1994)

Introducción a los cálculos en ingeniería : teoría y problemas /
by: Gottfried, Byron S.
Published: (1981)

Mathematics and plausible reasoning /
by: Polya, George
Published: (1954)

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
by: Richter, Michael M., et al.
Published: (1964)

Introducción a las matemáticas universitarias /
by: Eslava E., María Emilia
Published: (1997)

Matemáticas 1 : cálculo diferencial /
by: Zill, Dennis G., 1940-
Published: (2015)

Cálculo : integrales, series y aplicaciones /
by: Balderas, Patricia,
Published: (2006)

Cálculo avanzado con aplicaciones a la ingeniería y a la física /
by: Amazigo, John C.
Published: (1983)

Teoría y problemas de introducción al cálculo /
by: Mendelson, Elliot
Published: (1986)

Estructuras de matemáticas discretas para la computación /
by: Kolman, Bernard, 1932- ,
Published: (1997)

Cálculo y geometría analítica /
by: Simmons, George F.
Published: (2002)

Fórmulas y tablas de matemáticas aplicada /
by: Spiegel, Murray R.
Published: (2014)

Introduction to logic /
by: Suppes Patrick
Published: (1957)

Matemática para ingeniería mediante el uso de CDF's /
by: Vílchez Quesada, Enrique,
Published: (2020)

Intuitionism; an introduction
by: Heyting, A.
Published: (1971)

Construcción lógica de programas : teoría y problemas resueltos /
Published: (2002)