Skip to main

Inicio / 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

Término preferido

Théorie de la preuve, démonstration automatique

III. Sciences de la programmation et du logiciel

Proof theory, automatic demonstration

inglés

URI

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

Descargue este concepto:

RDF/XML TURTLE JSON-LD