Combinatory logic. :: SCD d'Orléans

Combinatory logic.

Combinatory logic. Volume II

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Curry, Haskell Brooks, 1900-1982, Hindley, James Roger, 1939- (Tác giả), Seldin, Jonathan Paul (Tác giả)
Định dạng:	Livre papier
Ngôn ngữ:	Anglais
Được phát hành:	Amsterdam ; London : North-Holland C 1972.
Loạt:	Studies in logic and the foundations of mathematics 65-2
Những chủ đề:	Logique combinatoire
Autres localisations:	Voir dans le Sudoc

Những quyển sách tương tự

Introduction to combinatory logic
Bằng: Hindley, James Roger, 1939-, et al.
Được phát hành: (1972)

Foundations of mathematical logic
Bằng: Curry, Haskell Brooks, 1900-1982
Được phát hành: (1963)

Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Logique combinatoire et séquentielle : méthodes, outils et réalisations
Bằng: Brie, Claude, 19..-
Được phát hành: (2002)

Systèmes numériques
Bằng: Floyd, Thomas L., 1939-
Được phát hành: (2006)

Systèmes numériques : Concepts et applications
Bằng: Floyd, Thomas L., 1939-
Được phát hành: (2004)

Lambda-calcul : types et modèles
Bằng: Krivine, Jean-Louis, 1939-
Được phát hành: (1990)

Calculs de signification par une logique d'opérateurs
Bằng: Desclès, Jean-Pierre, et al.
Được phát hành: (2016)

Logique combinatoire
Bằng: Lagasse, Jean, 1924-2003, et al.
Được phát hành: (1976)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
Được phát hành: (2005)

Problèmes d'électronique logique
Bằng: Poinsot, André
Được phát hành: (1994)

Logique séquentielle
Bằng: Lagasse, Jean, 1924-2003, et al.
Được phát hành: (1976)

Injective Choice Functions
Bằng: Holz, Michael, mathématicien, et al.

Logique et automatisme. Logique combinatoire]
Bằng: Bridier, Michel, 19..-, et al.
Được phát hành: (1980)

Notes on logic
Bằng: Lyndon, Roger Conant, 1917-1988
Được phát hành: (1966)

Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings

Fundamentals of computation theory : 9th International Conference, FCT '93 Szeged, Hungary, August 23 27, 1993 : proceedings

Hyperedge replacement : grammars and languages
Bằng: Habel, Annegret, 19..-

Computing and combinatorics : first annual international conference, COCOON'95, Xi'an, China, August 24-26, 1995, proceedings

Fundamentals of computation theory : 10th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings

LATIN '92 : 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6 10, 1992 : proceedings

Combinators and functional programming languages : Thirteenth Spring school of the LITP, Val d'Ajol, France, May 6-10, 1985 : proceedings

Les schémas d'automatisme : théorie et pratique
Bằng: Raymond, Jean-Pierre, 19..-...., mathématicien
Được phát hành: (1977)

Combinatory Film And The Digital Imaginary
Bằng: Coover, Roderick
Được phát hành: (2026)

STACS 88 : 5th annual symposium on theoretical aspects of computer science, Bordeaux, France, february 11-13, 1988 : roceedings

Fundamentals of computation theory : international conference FCT '87 Kazan, USSR, June 22 26, 1987 : proceedings

MFDBS 89 : 2nd Symposium on mathematical fundamentals of database systems, Visegrád, Hungary, June 26-30, 1989 : proceedings

Foundations of software technology and theoretical computer science : 14th Conference, Madras, India, December 15 17, 1994 : proceedings

MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings

An introduction to modal logic
Bằng: Hughes, George Edward, 1918-, et al.
Được phát hành: (1968)

Logique combinatoire et technologie : cours et exercices
Bằng: Gindre, Marcel, 1948-, et al.
Được phát hành: (1987)

Mini manuel d'architecture de l'ordinateur : cours + exos corrigés
Bằng: Jorda, Jacques, 19..-...., enseignant-chercheur en informatique, et al.
Được phát hành: (2012)

La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ?
Bằng: Ginisti, Jean-Pierre
Được phát hành: (2006)

Modal logics
Bằng: Feys, Robert, 1889-1961
Được phát hành: (1965)

Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings : FST and TCS 11

STACS 89 : 6th Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989 : proceedings

Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings : FST and TCS 13

Foundations of software technology and theoretical computer science : 12th conference, New Delhi, India, December 18-20, 1992 : proceedings : FST and TCS 12

STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13 15, 1992 : proceedings

Learning language in logic
Bằng: Cussens, James, 1965-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales