Skip to main content

Home / Sections du Comité national de la recherche scientifique (Preuve de concept)

Sections du Comité national de la recherche scientifique (Preuve de concept)

Section 6 - Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations > III. Sciences de la programmation et du logiciel > Théorie de la preuve, démonstration automatique

Preferred term

Théorie de la preuve, démonstration automatique

III. Sciences de la programmation et du logiciel

Proof theory, automatic demonstration

English

URI

http://data.loterre.fr/ark:/67375/SCO-F01JBQB4-4

Download this concept:

RDF/XML TURTLE JSON-LD