En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03B35 17 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Interactive theorem proving and program development:
Coq'art: the calculus of inductive constructions Bertot, Yves ; Castéran, Pierre ; Huet, Gérard ; Paulin-Mohring, Christine | Springer 2010 Nouveau

Ouvrage

- xxv; 469 p.
Cote : 00041682
Coq # vérification de programme # assistant de preuve # démonstration automatique

68T15 ; 03B15 ; 03B35 ; 03B70 ; 68N18 ; 68Q60 ; 68-01

Localisation : Ouvrage RdC (BERT)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Groupes de Galois arithmétiques et différentiels#Mars 8-13 Bertrand, Daniel ; Dèbes, Pierre | Société Mathématique de France 2006

Congrès

- 391 p.
Cote : 00029402
algorithmes # correspondance de Riemann-Hilbert # dessins d'enfants # équations différentielles p-adiques # espaces de Hurwitz # formes modulaires # géométrie anabélienne # groupe de Galois différentiel # groupe fondamental # groupe de Tresse # espaces de modules # problème de Galois inverse # revêtement des courbes # théorie de Galois # tours modulaires

03B35 ; 11Fxx ; 11Gxx ; 11R58 ; 11Yxx ; 12Exx ; 12Fxx ; 12Gxx ; 12Hxx ; 12Jxx ; 13Nxx ; 14Dxx ; 14-04 ; 14F05 ; 14Gxx ; 14Hxx ; 18A25 ; 20B05 ; 20Cxx ; 20D25 ; 20Exx ; 20Fxx ; 20Gxx ; 20Jxx ; 32J25 ; 32S40 ; 33C05 ; 34Axx ; 34M55 ; 35Cxx ; 53Cxx ; 65E05 ; 65Y20 ; 68Q15

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic for problem solving Kowalski, Robert | North-Holland 1979

Ouvrage

- 287 p.
Cote : 00008495
mathématique logique et fondation # logique générale # informatique # mécanisation des preuves et des opérations logiques # intelligence artificielle

03B35 ; 68T20 ; 68Txx

Localisation : Ouvrage RdC (KOWA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

An introduction to mathematical logic and type theory
to truth through proof Andrews, Peter B. | Academic Press 1986

Ouvrage

- 304 p.
Cote : 00010819
calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation

03-XX ; 03B15 ; 03B35 ; 68A40

Localisation : Ouvrage RdC (ANDR)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Mechanical geometry theorem proving Chou, Shang-Ching | D. Reidel Publisher Co. 1988

Ouvrage

- 362 p.
Cote : 00011946
raisonnement automate # théorie de la preuve

03B35 ; 68T15

Localisation : Ouvrage RdC (CHOU)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Les fondements logiques des mathématiques Beth, E. W. | Gauthier-Villars 1950

Ouvrage

- 241 p.
Cote : 00003931
aximatique # démonstrat ion de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15

Localisation : Ouvrage RdC (BETH)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Les fondements logiques des mathématiques Beth, E. W. | Gauthier-Villars 1955

Ouvrage

- 241 p.
Cote : 00003934
aximatique # démonstration de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15

Localisation : Ouvrage RdC (BETH)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Automated theorem proving :
Proceedings of the special session on automatic theorem proving 89th annual meeting of the ams#Jan. 5-9 Bledsoe, W. W. ; Loveland, D. W. | American Mathematical Society 1984

Congrès

- 360 p.
Cote : 00015492
démonstration automatique de théorème # informatique # intelligence artificielle # logique générale # logique mathématique # mécanisation des preuves

03B35 ; 03Bxx ; 68-XX ; 68T15 ; 68Txx

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Automated deduction in geometry
second international workshop, ADG'98 proceedings
Aug. 1-3 Gao, Wiao-Shan ; Wang, Dongming ; Yang, Lu | Springer 1999

Congrès


Cote : 00023374
algèbre # déduction # déduction automatisée en géométrie # démonstration automatique de théorème # informatique # intelligence artificielle # logique # opération logique

03-06 ; 03B35 ; 68-06 ; 68T15

Localisation : Colloque 1er étage (BEIJ)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Linear logic in computer science :
Azores summer school on ...#Aug. 30 - Sept. 7 Ehrhard, Thomas ; Girard, Jean-Yves ; Ruet, Paul ; Scott, Philip | Cambridge University Press 2004

Congrès

- 381 p.
Cote : 00026869
théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue