Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Méthodes sémantiques en déduction modulo

HERMANT, Olivier
DOWEK, Gilles

Publication date

January 2005

Abstract

PARIS7-Bibliothèque centrale (751132105) / SudocBORDEAUX1-Bib Rech. Maths-Info (335222209) / SudocSudocFranceF

Extracted data

Related items

Démonstration, raisonnement et validation dans l'enseignement secondaire des mathématiques en France et en Allemagne

CABASSUT, Richard
PARZYSZ, Bernard

January 2005

PARIS7-Bibliothèque centrale (751132105) / SudocLYON-IUFM (693842301) / SudocSudocFranceF

Combinatoire des cardinaux singuliers et structures pcf

DA SILVA PEREIRA, Luis Miguel
TODORCEVIC, Stevo

January 2007

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Etude de la densité d'états surfaciques de certains opérateurs de Schrödinger

SOUABNI, Boutheina
ZIELINSKI, Lech

January 2008

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Périodes de formes modulaires de poids 1

MARTIN, François
MEREL, Loïc

January 2001

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Théorie des modèles des corps munis d' une dérivation de Hasse

BENOIST, Franck André René
DELON, Françoise

January 2005

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Étude des propriétés de grandes déviations de différents modèles de champ moyen

TRASHORRAS, José
COMETS, Francis

January 2001

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Systèmes intégrables en mécanique classique et quantique

TSEITLINE, Vadim
SMIRNOV, Fedor

January 2002

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Les préfaisceaux comme modèles des types d'homotopie

CISINSKI, Denis-Charles
MALTSINIOTIS, Georges

January 2002

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Supersymétrie et géometrie complexe

BAHRAINI, Alireza
BENNEQUIN, Daniel

January 2004

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Marche aléatoire en milieu aléatoire sur un arbre

GROSS, Thierry
COMETS, Francis

January 2004

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Réalisabilité classique et protocoles réseaux

HESSE, Philippe
KRIVINE, Jean-Louis

January 2008

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Mécanismes moléculaires de l'initiation de la réplication

MEISCH, Françoise
PRIOLEAU, Marie-Noëlle

January 2010

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUP (751062107) / SudocSudocFranceF

Sur quelques problèmes de plongement dans les groupes

OULD HOUCINE, Abderezak
SABBAGH, Gabriel

January 2003

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Autour de la catégorie des bimodules de Soergel

LIBEDINSKY, Nicolas
ROUQUIER, Raphaël

January 2008

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Déformations de sous-groupes discrets de groupes de rang un

GUICHARD, Olivier
BENOIST, Yves

January 2004

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Démonstration, raisonnement et validation dans l'enseignement secondaire des mathématiques en France et en Allemagne

CABASSUT, Richard
PARZYSZ, Bernard

January 2005

PARIS7-Bibliothèque centrale (751132105) / SudocLYON-IUFM (693842301) / SudocSudocFranceF

Combinatoire des cardinaux singuliers et structures pcf

DA SILVA PEREIRA, Luis Miguel
TODORCEVIC, Stevo

January 2007

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Etude de la densité d'états surfaciques de certains opérateurs de Schrödinger

SOUABNI, Boutheina
ZIELINSKI, Lech

January 2008

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Périodes de formes modulaires de poids 1

MARTIN, François
MEREL, Loïc

January 2001

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Théorie des modèles des corps munis d' une dérivation de Hasse

BENOIST, Franck André René
DELON, Françoise

January 2005

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Étude des propriétés de grandes déviations de différents modèles de champ moyen

TRASHORRAS, José
COMETS, Francis

January 2001

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Systèmes intégrables en mécanique classique et quantique

TSEITLINE, Vadim
SMIRNOV, Fedor

January 2002

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Les préfaisceaux comme modèles des types d'homotopie

CISINSKI, Denis-Charles
MALTSINIOTIS, Georges

January 2002

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Supersymétrie et géometrie complexe

BAHRAINI, Alireza
BENNEQUIN, Daniel

January 2004

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Marche aléatoire en milieu aléatoire sur un arbre

GROSS, Thierry
COMETS, Francis

January 2004

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Réalisabilité classique et protocoles réseaux

HESSE, Philippe
KRIVINE, Jean-Louis

January 2008

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Mécanismes moléculaires de l'initiation de la réplication

MEISCH, Françoise
PRIOLEAU, Marie-Noëlle

January 2010

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUP (751062107) / SudocSudocFranceF

Sur quelques problèmes de plongement dans les groupes

OULD HOUCINE, Abderezak
SABBAGH, Gabriel

January 2003

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Autour de la catégorie des bimodules de Soergel

LIBEDINSKY, Nicolas
ROUQUIER, Raphaël

January 2008

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Déformations de sous-groupes discrets de groupes de rang un

GUICHARD, Olivier
BENOIST, Yves

January 2004

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Démonstration, raisonnement et validation dans l'enseignement secondaire des mathématiques en France et en Allemagne

CABASSUT, Richard
PARZYSZ, Bernard

January 2005

PARIS7-Bibliothèque centrale (751132105) / SudocLYON-IUFM (693842301) / SudocSudocFranceF

Combinatoire des cardinaux singuliers et structures pcf

DA SILVA PEREIRA, Luis Miguel
TODORCEVIC, Stevo

January 2007

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...

Etude de la densité d'états surfaciques de certains opérateurs de Schrödinger

SOUABNI, Boutheina
ZIELINSKI, Lech

January 2008

PARIS7-Bibliothèque centrale (751132105) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSu...