Typed lambda calculi and applications : :: SCD d'Orléans

Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings

Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	International Conference on Typed Lambda Calculi and Applications :L'Aquila, Italie
Beste egile batzuk:	Girard, Jean-Yves, 1947-...., mathématicien-logicien (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science 1581
Gaiak:	Informatique Lambda-calcul Ordinateurs Logique symbolique et mathématique Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Typed lambda calculi and applications, 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, proceedings, Jean-Yves Girard (ed), 1999, New York, Springer, 1 vol. (VIII-396 p.), Lecture notes in computer science, 3-540-65763-0 • Typed Lambda Calculi and Applications, Texte imprimé, 9783662185056

Antzeko izenburuak

Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 12, 1995 : proceedings

Typed lambda calculi and applications : [first] International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16 18, 1993, Utrech, The Netherlands : proceedings

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Lambda-calcul : types et modèles
nork: Krivine, Jean-Louis, 1939-
Argitaratua: (1990)

Logique, réduction, résolution
nork: Lalement, René, 19..-...., Mathématicien
Argitaratua: (1990)

Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings
nork: Hasegawa, Masahito
Argitaratua: (2013)

La programmation applicative : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul
nork: Saint-James, Emmanuel, 1956-
Argitaratua: (1993)

Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most
nork: Retoré, Christian
Argitaratua: (2012)

Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13 15, 1994 : proceedings

Calcul différentiel et équations différentielles : licence de mathématiques
nork: Elkhadiri, Abdelhafed
Argitaratua: (2015)

Dissection du mécanisme de terminaison-antiterminaison au niveau du terminateur tR1 du phage lambda : application à l'étude des complexes ARN-protéine in vivo
nork: Vieu, Erwann, 1976-
Argitaratua: (2005)

Dissection du mécanisme de terminaison-antiterminaison au niveau du terminateur tR1 du phage lambda : application à l'étude des complexes ARN-protéine in vivo
nork: Vieu, Erwann, 1976-
Argitaratua: (2004)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
Argitaratua: (2005)

Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99 Szklarska Por©eba, Poland, September 6-10, 1999 : proceedings

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings

Calcul différentiel pour les langues de la logique : théorie et applications
nork: Thayse, André, 1940-
Argitaratua: (2004)

Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

Rewriting techniques and applications : 4th International Conference, RTA-91 Como, Italy, April 10 12, 1991 : proceedings

Field-programmable logic and applications : 7th International Workshop, FPL '97 London, UK, September 1 3, 1997 : proceedings

Trees in algebra and programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22 24, 1996 : proceedings

Logic programming '88 : proceedings of the 7th conference Tokyo, Japan, April 11 14, 1988
nork: Furukawa, Kōichi, 1938-

Éléments de logique formelle
nork: Chazal, Gérard, 1947-
Argitaratua: (1996)

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : proceedings

Modeling and using context : second international and interdisciplinary conference, CONTEXT'99, Trento, Italy, September 9-11, 1999 : proceedings

Machines, languages, and complexity : 5th International meeting of young computer scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29 April 1, 1993 Proceedings

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings

Introduction à la logique
nork: Leroux, Jean, 1948-
Argitaratua: (1998)

Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9 11, 2001 : proceedings

Logics in artificial intelligence : 8th European Conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : Proceedings

Advances in computing science - ASIAN 99 : 5th Asian Computing Science Conference Phuket, Thailand, December 10 12,1999 : proceedings

The nature of computation : logic, algorithms, applications : proceedings
Argitaratua: (2013)

Eléments de logique classique : avec exercices résolus et questionnaire d'examen
nork: Mutombo, Marc
Argitaratua: (2003)

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

© 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