Notice RAMEAU

  • Notice
Assistants de preuve



Vedette matière nom commun. S'emploie en tête de vedette.

<Employé pour : 
Démonstrateurs interactifs de théorèmes
Démonstration assistée par ordinateur
Preuves interactives
Théorèmes, Démonstrateurs interactifs de

>><<Terme(s) associé(s) : 
Théorie de la démonstration

>>Terme(s) spécifique(s) : 
Coq (logiciel)

Source(s) : 
Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve / H. Nguyen, 2002 . - Démonstration automatique en théorie des types / P. Corbineau, 2005 [thèse]

Domaine(s) : 510 . - 621

Identifiant de la notice  : ark:/12148/cb16694306r
Notice n° :  FRBNF16694306

Création :  13/07/01
Mise à jour :  13/10/09