S'identifier
Nouveau compte
  
 
Accueil
Ma page
Arbre des projets
Boite à outils
Demande d'aide
          
 

Vue restreinte aux projets des catégories suivantes:
      LIP research teams :: PLUME [Supprimer ce filtre]
      License :: OSI Approved :: GNU General Public License (GPL) [Supprimer ce filtre]


  LIP research teams
      PLUME
Afficher par :
  Development Status
  Environment
  Intended Audience
  License
  LIP research teams
  Natural Language
  Operating System
  Programming Language
  Topic

2 projet(s) trouvé(s).
1. Théorie de la Démonstration - CR 07/08 - Partage de documents du cours de recherche "Théorie de la démonstration" M2 ENS Lyon - 2007-08
 
  • Development Status: 1 - Planning [Filter]
  • Intended Audience: Other Audience [Filter]
  • License: GNU General Public License \(GPL\) (Now Filtering)
  • LIP research teams: PLUME (Now Filtering)
  • Operating System: OS Independent [Filter]
  • Topic: Education [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 25/05/2007 10:56

2. Optimized extraction from proofs - Optimized extraction from proofs
 
  • Intended Audience: Other Audience [Filter]
  • License: GNU General Public License \(GPL\) (Now Filtering)
  • LIP research teams: PLUME (Now Filtering)
  • Natural Language: English [Filter]
  • Programming Language: ML [Filter] , Scheme [Filter]
  • Topic: Mathematics [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 23/04/2007 16:44

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment