paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 168129752Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Assistants de preuve

Variantes de point d'accès

Démonstrateurs interactifs de théorèmes
[Nom commun]
Démonstration assistée par ordinateur
[Nom commun]
Preuves interactives
[Nom commun]
Théorèmes, Démonstrateurs interactifs de
[Nom commun]

Source

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]

Autres identifiants

Identifiant BNF : FRBNF16694306X

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

... Références liées : ...