Introduction to Combinators and λ-calculus

Introduction to Combinators and λ-calculus

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Hindley, J. Roger
Άλλοι συγγραφείς:	Seldin, J. P.
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Cambridge : Cambridge University Press, 1993
Έκδοση:	1st ed., Repr.
Σειρά:	London Mathematical Society student texts ; ; 1
Θέματα:	Combinatory logic. Lambda calculus. Combinatorial analysis. Algorithms.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

The lambda calculus :
από: Barendregt, H. P. (Hendrik Pieter)
Δημοσίευση: (1981)

The lambda calculus :
από: Barendregt, H. P. (Hendrik Pieter)
Δημοσίευση: (1984)

Intuitive combinational topology
από: Boltianskii, V. G. (Vladimir Grigorevich), 1925-2019
Δημοσίευση: (2001)

Introduction to Λ-tress
από: Chiswell, Ian 1948-
Δημοσίευση: (2001)

Introduction to combinatorics
από: Erickson, Martin J. 1963-
Δημοσίευση: (1996)

Introduction to combinatorics
από: Wallis, W. D., κ.ά.
Δημοσίευση: (2015)

Branch-and-bound applications in combinatorial data analysis
από: Brusco, Michael J., κ.ά.
Δημοσίευση: (2005)

An introduction to combinatorial analysis
από: Riordan, John, 1903-
Δημοσίευση: (2002)

Stochastic local search :
από: Hoos, Holger H.
Δημοσίευση: (2005)

Invitation to fixed-parameter algorithms
από: Niedermeier, Rolf
Δημοσίευση: (2006)

Handbook of genetic algorithms
Δημοσίευση: (1991)

Sequences, combinations, limits
Δημοσίευση: (1969)

Introduction aux methodes de denombrement
από: Bruter, Claude Paul
Δημοσίευση: (1970)

A path to combinatorics for undergraduates :
από: Andreescu, Titu 1956-
Δημοσίευση: (2004)

Combinatorics :
από: Cameron, Peter J. (Peter Jephson) 1947-
Δημοσίευση: (1994)

An introduction to computational combinatorics
από: Page, E. S., κ.ά.
Δημοσίευση: (1979)

Logic and combinatorics :
Δημοσίευση: (1987)

Ασκήσεις συνδυαστικής :
από: Χαραλαμπίδης, Χαράλαμπος Α.
Δημοσίευση: (1993)

Συνδυαστική ανάλυση :
από: Σπανδάγος, Βαγγέλης Κ., 1941-2020
Δημοσίευση: (1980)

Using the Borsul-Ulam theorem :
από: Matousek, Jirv 1963-
Δημοσίευση: (2003)

Combimatorial methods in topology and algebraic geometry
Δημοσίευση: (1985)

Kvant selecta :
Δημοσίευση: (2001)

Aspects of combinatorics :
από: Bryant, Victor
Δημοσίευση: (1995)

Combinatorial methods in discrete mathematics
από: Sachkov, Vladimir Nikolaevich
Δημοσίευση: (1996)

Combinatorics advances
Δημοσίευση: (1995)

Combinatorics :
από: Bollobas, Bela
Δημοσίευση: (1986)

Foundations of Applied Combinatorics
από: Bender, Edward A., 1942-
Δημοσίευση: (1991)

Basic techniques of combinatorial theory
από: Cohen, Daniel I. A. 1946-
Δημοσίευση: (1978)

A Course in Combinatorics
από: Lint, Jacobus Hendricus van 1932-
Δημοσίευση: (1994)

Analytic combinatorics
από: Flajolet, Philippe
Δημοσίευση: (2009)

Constructive combinatorics
από: Stanton, Dennis (Dennis W.)
Δημοσίευση: (1986)

Combinatorial Mathematics X :
Δημοσίευση: (1983)

Combinatorial mathematics for recreation
από: Vilenkin, N. IA. (Naum IAkovlevich)
Δημοσίευση: (1972)

Combinatorial mathematics
από: Ryser, Herbert John
Δημοσίευση: (1963)

Finite functions :
από: Sharp, Henry, 1923-
Δημοσίευση: (1965)

Mathematics of choice or how to count without counting
από: Niven, Ivan, 1915-1999
Δημοσίευση: (1965)

Analyse combinatoire
από: Paquette, Gilbert, 1942-
Δημοσίευση: (1970)

Analyse combinatoire
από: Comtet, Louis
Δημοσίευση: (1970)

Εισαγωγή στη συνδυαστική
από: Κούτρας, Μάρκος Β.
Δημοσίευση: (2017)

Συνδυαστική βελτιστοποίηση
από: Μηλιώτης, Παναγιώτης Α.
Δημοσίευση: (1998)