Logique et complexité

Logique et complexité

Enregistré dans:

Détails bibliographiques
Auteur principal:	Lassaigne, Richard.
Autres auteurs:	Rougemont, Michel de.
Support:	Livre
Langue:	Français
Publié:	Paris : Hermès, impr. 1996
Collection:	Collection Informatique
Sujets:	Logique symbolique et mathématique. Complexité de calcul (informatique).
Autres localisations:	Voir dans le Sudoc

Documents similaires

Qu'est-ce qu'un objet complexe ?
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2013)

Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats
par: Ponasse, Daniel.
Publié: (1967)

Au seuil de la complexité calculatoire.
Publié: (2002)

Computational complexity
par: Papadimitriou, Christos H.
Publié: (1994)

Méthodes de logique
par: Quine, Willard Van Orman, 1908-2000.
Publié: (1973)

La logique
par: Largeault, Jean, 1931?-1995.
Publié: (1993)

Complexité aléatoire et complexité organisée
par: Delahaye, Jean-Paul (1952-....; mathématicien).
Publié: (2009)

Logique sans peine
par: Carroll, Lewis, 1832-1898.
Publié: (1966)

Logique élémentaire
par: Quine, Willard Van Orman, 1908-2000.
Publié: (1972)

Hasard et complexité en mathématiques
par: Chaitin, Gregory J.
Publié: (2009)

Logique mathématique : cours et exercices
par: Cori, René.
Publié: (1993)

Logique contemporaine et formalisation
par: Martin, Roger, docteur ès-lettres.
Publié: (1964)

Initiation à la logique
par: Dubarle, Dominique, 1907-1987.
Publié: (1957)

Logique, sémantique, métamathématique : 1923-1944...
par: Tarski, Alfred, 1901-1983.
Publié: (1972)

Logique binaire et ordinateurs.
par: Aumiaux, Michel.
Publié: (1974)

Logique moderne.
par: Grize, Jean Blaise, 1922-2013.
Publié: (1969)

La machine en logique
par: Wagner, Pierre, 1963-
Publié: (1998)

La logique formelle
par: Virieux-Reymond, Antoinette.
Publié: (1962)

Logique, sémantique, métamathématique : 1923-1944...
par: Tarski, Alfred, 1901-1983.
Publié: (1974)

Approche logique de l'intelligence artificielle.
Publié: (1988)

Logiques non monotones et intelligence artificielle
par: Grégoire, Eric.
Publié: (1990)

L' ordinateur plus fort que le temps.
par: Ikonicoff, Roman.
Publié: (2000)

Cours de logique mathématique.
par: Fraïssé, Roland, 1920-
Publié: (1967)

Manuel de logique scientifique : remplaçant et complétant les Eléments de logique scientifique, 1942
par: Boll, Marcel, 1886-1958.
Publié: (1948)

Approche logique de l'intelligence artificielle.
par: Thayse, André.
Publié: (1990)

L'univers et la morale vus par la théorie du calcul
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2018)

Ethnlogie des sciences et logiques de la science
par: Guille-Escuret, Georges.
Publié: (1991)

Passage à l'échelle : complexité, algorithmique et architecture
Publié: (2005)

Logic for problem solving
par: Kowalski, Robert A.
Publié: (1979)

Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC
par: Desclès, Jean-Pierre.
Publié: (2010)

L'intelligence de la complexité
par: Morin, Edgar, 1921-
Publié: (1999)

Elements of symbolic logic
par: Reichenbach, Hans, 1891-1953.
Publié: (1966)

La logique déductive : essai de présentation aux juristes
par: Kalinowski, Georges, 1916-2000.
Publié: (1996)

Logique, sir !.
par: Lehning, Hervé.
Publié: (1990)

Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
par: David, René, 1948-
Publié: (2001)

Algèbre linéaire dans R : théorie, algorithmes et complexité
par: Haddadi, Salim.
Publié: (2012)

Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre
par: Leibniz, Gottfried Wilhelm, 1646-1716.
Publié: (1961)

Penser les mathématiques
Publié: (1982)

La Magie des paradoxes
par: Gardner, Martin.
Publié: (1980)

La systémique, penser et agir dans la complexité
par: Donnadieu, Gérard.
Publié: (2002)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1