Logique, réduction, résolution :: SCD d'Orléans

$Logique, réduction, résolution$

Logique, réduction, résolution

Enregistré dans:

Détails bibliographiques
Auteur principal:	Lalement, René, 19..-...., Mathématicien
Autres auteurs:	Demazure, Michel, 1937- (Auteur de l'introduction, etc.)
Format:	Livre papier
Langue:	Français
Publié:	Paris ; Milan ; Barcelone [etc.] : Masson 1990.
Collection:	ERI. Etudes et recherches en informatique
Sujets:	Programmation dynamique Informatique > Mathématiques Lambda-calcul Programmation logique
Autres localisations:	Voir dans le Sudoc

Documents similaires

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
par: Krivine, Jean-Louis, 1939-
Publié: (1990)

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

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 : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : 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 : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings

Journal of logic and computation.
Publié: (1990)

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

Calcul par l'informatique : méthode logique d'enseignement des mathématiques
par: Bertin, Marie-José
Publié: (1983)

Logique et théorie des systèmes digitaux
par: Thayse, André, 1940-
Publié: (2002)

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

Foundations of equational logic programming
par: Hölldobler, Steffen, 1957-

Logique et complexité
par: Lassaigne, Richard, et autres
Publié: (1996)

Static analysis : 4th international symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

Mathématiques sur micro-ordinateur. Algèbre
par: Reverchon, Alain, et autres
Publié: (1985)

Mathématiques concrètes : fondations pour l'informatique
par: Graham, Ronald Lewis, 1935-2020, et autres
Publié: (2003)

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Programmer avec Maple V
par: Monagan, Michael B., 19..-
Publié: (1997)

Introduction à l'informatique théorique
par: Bourda, Yolaine, 19..-, et autres
Publié: (1994)

A tight, practical integration of relations and functions
par: Boley, Harold

Programmation logique par contraintes
par: Fages, François, 1959-
Publié: (1996)

Logique. Méthodes pour l'intelligence artificielle
par: Gochet, Paul, 1932-2011, et autres
Publié: (2000)

Reasoning with logic programming
par: Alferes, José Júlio, 1966-, et autres

Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings

Program development in computational logic : a decade of research advances in logic-based program development
par: Bruynooghe, Maurice

Logique programmée et GRAFCET : des séquenceurs câblés aux microcontrôleurs
par: Jacques, Alain, 19..-...., professeur à l'institut national des télécommunications, et autres
Publié: (1987)

Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Premiers pas en Maple : introduction à l'utilisation du calcul formel en mathématiques, en physique & en chimie
par: Fortin, Philippe, 19..-...., professeur de mathématiques, et autres
Publié: (1995)

Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information ESSLLI 97 Workshop, Aix-en-Provence, France, August 11 22, 1997 : revised lectures

Negation and control in Prolog
par: Naish, Lee

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

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

Logic programming '89 : proceedings of the 8th conference Tokyo, Japan, July 12 14, 1989
par: Furukawa, Kōichi, 1938-

Logique(s), langages formels et complexité pour l'informatique
par: Jussien, Narendra, 1973-
Publié: (2006)

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

Logique programmable : architecture des FPGA et CPLD, méthodes de conception, le langage VHDL
par: Dutrieux, Laurent, et autres
Publié: (1997)

© 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