Combinatory logic : pure, applied and typed / by Bimbó, Katalin, 1963-

Table of Contents: “…Preface; Elements of combinatory logic ; Objects, combinators and terms; Various kinds of combinators; Reductions and combinatory bases; Main theorems; Church-Rosser property; Normal forms and consistency; Fixed points; Second fixed point theorem and undecidability; Recursive functions and arithmetic; Primitive and partial recursive functions; First modeling of partial recursive functions in CL; Second modeling of partial recursive functions in CL; Undecidability of weak equality; Connections to l-calculi; l-calculi: L; Combinators in L; Back and forth between CL and L; (In)equational combinatory logic; Inequational calculi; Equational calculi; Models; Term models; Operational models; Encoding functions by numbers; Domains; Models for typed CL; Relational models; Dual and symmetric combinatory logics ; Dual combinators; Symmetric combinators; Structurally free logics; Applied combinatory logic ; Illative combinatory logic; Elimination of bound variables; Typed combinatory logic; Simply typed combinatory logic; Intersection types for combinators; Appendix; Elements of combinatory logic; Main theorems; Recursive functions and arithmetic; Connections to l-calculi; (In)equational combinatory logic; Models; Dual and symmetric combinatory logic; Applied combinatory logic; Typed combinatory logic; Bibliography; List of Symbols; Index…”
CONNECT

Combinatorial maps : efficient data structures for computer graphics and image processing / by Damiand, Guillaume, Lienhardt, Pascal

Subjects: CONNECT

Combinatorial optimization /

Subjects: “…Combinatorial optimization.…”
CONNECT

Combinatorial geometry / by Pach, János

Subjects: “…Combinatorial geometry.…”
CONNECT

Combinatorial theory / by Hall, Marshall, 1910-1990

Subjects: “…Combinatorial analysis.…”
CONNECT

Combinatorial chemistry : from theory to application /

Table of Contents: “…Brill, Gianluca Papeo -- Combinatorial synthesis of heterocycles / Eduard R. Felder, Andreas L. …”
CONNECT

Combinatorial chemistry : synthesis, analysis, screening /

Table of Contents: “…Combinatorial Chemistry; Contents; 1. Combinatorial Chemistry; 2. …”
CONNECT

Combinatorial chemistry : a practical approach /

Table of Contents: “…Combinat orial Chemistry A Practical Approach; Contents; 1 General Introduction; 2 Combinatorial Chemistry in Solution; 3 Solid-Phase Chemistry; 4 Polymer-Supported Reagents: Preparation and Use in Parallel Organic Synthesis; 5 Encoding Strategies for Combinatorial Libraries; 6 Automation and Devices for Combinatorial Chemistry and Parallel Organic Synthesis; 7 Computer- Assisted Library Design; 8 Organic reactions on solid phase -A survey of the literature from 1970 to 1998; Index.…”
CONNECT

Combinatorial chemistry : an online journal.

Subjects: “…Combinatorial chemistry Periodicals.…”
Full Text Availability

Combinatorial designs : a tribute to Haim Hanani / by Hartman, A.

Subjects: CONNECT

Combinatorial mathematics : proceedings of the International Colloquium on Graph Theory and Combinatorics, Marseille-Luminy, June 1981 /

Table of Contents: “…Cover; Combinatorial Mathematics; Copyright Page; TOCContents; Preface; CHChapter 1. …”
CONNECT

Combinatory logic.

Table of Contents: “…Front Cover; Combinatory Logic; Copyright Page; Table of Contents; Preface; Explanation of Notations; Chapter 11 Addenda to Pure Combinatory Logic; A. …”
CONNECT

Combinatory logic /

Table of Contents: “…Formal systems -- Epitheory -- Lambda-conversion -- Church-Rosser theorem -- Intuitive theory of combinators -- Synthetic theory of combinators -- Logistic foundations -- Introduction to illative combinatory logic -- Basic theory of functionality -- Stronger theories of functionality.…”
CONNECT

Combinatorial topology. by Aleksandrov, P. S. 1896-

Combinatorial chemistry : synthesis and application /

Table of Contents: “…Introduction to combinatorial libraries: concepts and terms /…”

Combinatorial algorithms : theory and practice / by Reingold, Edward M., 1945-

Subjects: “…Combinatorial analysis Data processing.…”

Combinatorial optimization /

Subjects:

Combinatorial theory / by Aigner, Martin, 1942-

Subjects: “…Combinatorial analysis.…”

Combinatorial enumeration / by Goulden, I. P.

Subjects: “…Combinatorial enumeration problems.…”

Combinatorial theory / by Hall, Marshall, 1910-

Subjects: “…Combinatorial analysis.…”