Skip to main content

Home / Sections of the National Committee for Scientific Research (Proof of concept)

Sections of the National Committee for Scientific Research (Proof of concept)

Section 6 - Computer and Information Sciences: Foundations of Computer Science, Computation, Algorithms, Data and Knowledge Representation, Information Processing > III. Programming and software sciences > Proof theory, automatic demonstration

Preferred term

Proof theory, automatic demonstration

III. Programming and software sciences

Théorie de la preuve, démonstration automatique

French

URI

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

Download this concept:

RDF/XML TURTLE JSON-LD