Automated theorem Proving : a logical basis

Automated theorem Proving : a logical basis

Enregistré dans:

Détails bibliographiques
Auteur principal:	Loweland, Donald.
Support:	Livre
Langue:	Anglais
Publié:	[S.l.] : Ed. North-Holland, 1978.
Collection:	Fundamental studies in computer science 6
Sujets:	Théorèmes > Démonstration automatique.

Documents similaires

Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.
par: Larousserie, David.
Publié: (2003)

Du rêve à la réalité des preuves
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2011)

Les Ordinateurs mathématiciens !.
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2002)

Paver le plan avec un pentagone convexe
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2017)

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

Le théorème de Gödel
par: Nagel, Ernest, 1901-1985.
Publié: (1989)

Information theory and the central limit theorem
par: Johnson, Oliver T.
Publié: (2004)

Le Théorème des indéboulonnables
par: Mawhin, Jean.
Publié: (2003)

Le théorème de Gödel
par: Nagel, Ernest, 1901-1985.
Publié: (1997)

Théorèmes, l'ordinateur fait ses preuves
par: Pajot, Philippe.
Publié: (2013)

Le dernier théorème de Fermat : l'histoire de l'énigme qui a défié les plus grands esprits du monde pendant 358 ans
par: Singh, Simon, 1964-
Publié: (1999)

Le dernier théorème de Fermat : l'histoire de l'énigme qui a défié les plus grands esprits du monde pendant 358 ans
par: Singh, Simon, 1964-
Publié: (2011)

Un vieux problème de courbes enfin bouclé
par: Laurens, Clémentine.
Publié: (2023)

Un théorème de théorie des groupes vérifié par ordinateur
par: Pajot, Philippe.
Publié: (2013)

Der Grundriss der Epideixis des hl. Irenäus
par: Nussbaumer, Arnold, 1886-
Publié: (1921)

Persuader de son savoir sans le transmettre
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2011)

Comment vérifier les longues démonstrations ?
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2015)

Prouver à l'aide de l'infini
par: Pajot, Philippe.
Publié: (2018)

Proving doctrine : the uses of Scripture in modern theology
par: Kelsey, David Hugh, 1932-
Publié: (1999)

Quand l'analyse rencontre la géométrie
par: Bourguignon, Jean-Pierre.
Publié: (2004)

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

Pythagore à la plage : les nombres dans un transat
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2021)

An Introduction to Stein's method
Publié: (2005)

Stein's method and applications
Publié: (2005)

Leçons sur les fonctions méromorphes : professées au Collège de France
par: Borel, Émile, 1871-1956.
Publié: (1903)

Introduction à la théorie analytique et probabiliste des nombres
par: Tenenbaum, Gérald, 1952-
Publié: (2015)

Gödel's proof
par: Nagel, Ernest, 1901-1985.
Publié: (1959)

L'entreprise, le marché et le droit
par: Coase, Ronald Harry, 1910-2013.
Publié: (2005)

Computers and translation : a translator's guide
Publié: (2003)

Computer-aided translation technology : a practical introduction
par: Bowker, Lynne.
Publié: (2002)

A Hands-On Introduction to Machine Learning.
par: Shah, Chirag.
Publié: (2022)

La Machine à traduire : par Emile Delavenay,... [2e édition.].
par: Delavenay, Emile.
Publié: (1963)

Les Limites de la raison mathématique
par: Chaitin, Gregory J.
Publié: (2006)

Le Programme de Langlands
par: Langlands, Robert.
Publié: (2007)

Le point aveugle : cours de logique
par: Girard, Jean-Yves, 1947-
Publié: (2007)

Le point aveugle : cours de logique
par: Girard, Jean-Yves, 1947-
Publié: (2006)

Leçons d'apprentissage symbolique automatique
par: Kodratoff, Yves.
Publié: (1986)

Les points clés de l'automatique : bac STI, BTS et DUT industriels
par: Labit, Marc.
Publié: (2004)

Pédagogie et systémique
par: Lerbet, Georges, 1936-
Publié: (1997)

Les Nombres premiers [Dossier].
Publié: (2002)

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