-
Demonstration of the Collatz conjecture for all positive integers
This document is divided in two parts: first in English and second in French. The document totals 31 pages, a cover page, and 15 pages for each version. -
" La certitude des mathématiques et ses fondements selon Piccolomini "
This dataset has no description
-
Guillaume d'Ockham, Somme de logique, IIIe traité, 1er volume.
Ce volume contient les parties 1 et 2 du IIIe traité (Les arguments) de la Somme de logique. Traduction française et notes de Joël Biard; Christophe Grellard et Kim Sang... -
La politique de démonstration de la capture et du stockage du dioxyde de carb...
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
Les sites d'une controverse : le cas de la démonstration du CCS dans l'Union ...
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
CCS : émergence d'une politique et d'une controverse dans l'UE
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
The sites of the EU CCS demonstration policy
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
Certitudo
This dataset has no description
-
4th International Workshop on First-Order Theorem Proving- FTP'2003
Ouvrage (éditeur). -
cK¢, un modèle pour relier connaissance et preuve en didactique des mathémati...
This dataset has no description
