Informal proofs formally checked by machine

Fiche du document

Auteurs
Date

1976

Discipline
Type de document
Périmètre
Langue
Identifiants
  • handle:  10670/1.nqxzvy
  • ASCFM_1976__60_13_31_0
  • oai:numdam.org:ASCFM_1976__60_13_31_0
  • citation: Annales scientifiques de l'Université de Clermont. Mathématiques, 60, no. 13 (1976) p 31-53
  • MR 468369
  • ZBL 0352.68110
  • eudml-item-id urn:eudml:doc:80436
Source

Annales scientifiques de l'Université de Clermont. Mathématiques

Relations

Ce document est lié à :
0249-7042

Collection

Numdam

Organisation

Cellule Mathdoc

Citer ce document

Luigia Aiello et al., « Informal proofs formally checked by machine », Annales scientifiques de l'Université de Clermont. Mathématiques, ID : 10670/1.nqxzvy

Métriques

Partage / Export

document thumbnail

Par les mêmes auteurs

Sur les mêmes disciplines

Exporter en