Dictionnaire français - anglais

sciences naturelles et appliquées - iate.europa.eu
The twenty-fourth fermat number is compositeWe have shown by machine proof that F24 = 2^2^24 + 1 is composite....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
A framework for interactive proof... 1 Introducing Proof General Kit The use of interactive machine proof is becoming more widespread, and larger and more complex formalisations are being undertaken in application areas such as hardware or software verification, and ...
Formalizing non-interference for a simple bytecode language in coq... The emphasis of the paper is on modularity of a language formalization and its analysis in a machine proof
 PDF: core.ac.uk

Exemples français - anglais

sciences naturelles et appliquées - iate.europa.eu
politique et structures industrielles - iate.europa.eu
industrie mécanique - lexique.mecaniqueindustrielle.com
technologie et réglementation technique - iate.europa.eu
[...]


1 milliard de traductions classées par domaine d'activité en 28 langues