Skip to main

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

Término preferido

Proof theory, automatic demonstration

III. Programming and software sciences

Théorie de la preuve, démonstration automatique

francés

URI

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

Descargue este concepto:

RDF/XML TURTLE JSON-LD