Calcul différentiel pour les langues de la logique : :: SCD d'Orléans

Calcul différentiel pour les langues de la logique : théorie et applications

Calcul différentiel pour les langues de la logique : théorie et applications

Salvato in:

Dettagli Bibliografici
Autore principale:	Thayse, André, 1940-
Natura:	Livre papier
Lingua:	Français
Pubblicazione:	Paris : Hermès science publ. : Lavoisier impr. 2004, cop. 2004.
Soggetti:	Informatique > Mathématiques Calcul différentiel Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

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

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

Cours de calcul différentiel
di: Cartan, Henri, 1904-2008
Pubblicazione: (1977)

Logique et complexité
di: Lassaigne, Richard, et al.
Pubblicazione: (1996)

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

Calcul différentiel
di: Cartan, Henri, 1904-2008
Pubblicazione: (1967)

Symbolic-Numeric Computation

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 : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 12, 1995 : proceedings

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

Calcul différentiel et intégral, probabilités, déterminants
di: Verstegen, Dirk
Pubblicazione: (2019)

Calcul différentiel et intégral, probabilités, déterminants
di: Verstegen, Dirk
Pubblicazione: (2019)

Logique. Méthodes pour l'informatique fondamentale
di: Gochet, Paul, 1932-2011, logicien, et al.
Pubblicazione: (1990)

Calcul différentiel et intégral
di: Laudenbach, François, 1945-...., mathématicien
Pubblicazione: (2000)

Logique mathématique
di: Kleene, Stephen Cole, 1909-1994
Pubblicazione: (1987)

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

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

Introduction à la logique
di: Leroux, Jean, 1948-
Pubblicazione: (1998)

Géométrie et calcul différentiel sur les variétés : cours, études et exercices pour la maîtrise de mathématiques
di: Pham, Frédéric, 1938-...., géomètre
Pubblicazione: (1992)

Calcul différentiel
di: Leruste, Christian, 19..-
Pubblicazione: (1996)

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

Calcul différentiel : thèmes d'analyse pour l'agrégation
di: Gonnord, Stéphane, 19..-, et al.
Pubblicazione: (1998)

Petit guide de calcul différentiel : à l'usage de la licence et de l'agrégation
di: Rouvière, François, 1946-...., mathématicien
Pubblicazione: (1999)

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

Calcul différentiel
di: Avez, André, 1930-2017
Pubblicazione: (1983)

Logique mathématique
di: Pabion, Jean-François, 1942-
Pubblicazione: (1976)

Calcul différentiel et intégral appliqué à l'électronique
di: Richmond, Allan Edwin
Pubblicazione: (1985)

Calcul différentiel à plusieurs variables
di: Pluchart, Laurent, et al.
Pubblicazione: (2026)

Computability and logic
di: Boolos, George, 1940-1996, et al.
Pubblicazione: (1974)

Calcul différentiel complexe
di: Leborgne, Daniel, 1935-2012
Pubblicazione: (1991)

Journal of logic and computation.
Pubblicazione: (1990)

Calcul différentiel
di: Hamel, Josée, 19..-, et al.
Pubblicazione: (2024)

Logique et modélisation : modèles consistants, données compatibles
di: Gondran, Michel, et al.
Pubblicazione: (1995)

Espaces vectoriels normés pour le calcul différentiel : rappels de cours et exercices corrigés
di: Lassoued, Lotfi
Pubblicazione: (2022)

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

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers

Turing machines with sublogarithmic space
di: Szepietowski, Andrzej, 19..-

Introduction à l'optimisation et au calcul semi-différentiel
di: Delfour, Michel C., 1943-
Pubblicazione: (2012)

© 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