Le Projet ATINF Logiques et mécanisation de l'inférence

Bienvenue sur le site de l'équipe ATINF!

English version

Cliquez ici pour une version avec frames

Contacts

Equipe ATINF

Laboratoire LEIBNIZ - Institut IMAG

Hitella
46, Avenue Felix Viallet
38031 Grenoble - FRANCE

Responsable scientifique : Ricardo Caferra

Tel: (+33) 04 76 57 46 59
E-mail: Ricardo.Caferra@imag.fr

Au sommaire

Présentation

• Qu'est-ce que le Projet ATINF ?
  
  
• Composition de l'équipe

Recherche

• Projet scientifique
  
  
• Axes de recherches
  
  
• Organisation actuelle d'ATINF
  
  
• Rapport d'activité 95-97 (format Word)
  
  
• Bibliographie

  • Par auteur
  • Par année
  
  
• Systèmes

  • Résolveur de Contraintes Equationnelles

Relations scientifiques

Enseignement

• ENSIMAG

• Université Joseph Fourier

Voir également

• Second international Workshop on First-Order Theorem Proving

• Finite Model Theory homepage
  
  
• Les principales conférences en Logique et Démonstration Automatique

• Sources d'information sur l'informatique et les mathématiques

• Moteur de recherche en Informatique et en Mathématiques.

• Mediathèque de l'institut IMAG

Cette page est (perpétuellement) en construction.