Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
Program extraction using realizability
Examples with "Program extraction using realizability" and their translation in Frans
Program extraction using realizability is implemented in some proof assistants such as Coq.
La coinduction est largement utilisée dans des assistants de preuves comme Coq.
Andere resultaten
Apparatus for classic, manual extraction using the Soxhlet method.
Appareil pour l'extraction classique, manuelle, selon la méthode Soxhlet.
Absolute of rose is obtained by extraction using organic solvents.
L'absolu de rose est obtenu par extraction avec des solvants organiques.
Automatic data extraction using software is also prohibited.
The extraction using natural solvents is done in The Netherlands.
L'extraction à base de solvants naturels est faîte aux Pays-Bas.
Methods and devices for liquid-liquid extraction using digital microfluidic arrays are provided.
La présente invention concerne des procédés et dispositifs pour l'extraction liquide-liquide mettant en œuvre des réseaux microfluidiques numériques.
It is obtained from spices by extraction using solvents.
Il est obtenu à partir d'épices par extraction à l'aide de solvants.
Various methods for feature extraction using local primitive code are provided.
L'invention concerne divers procédés d'extraction de caractéristiques au moyen d'un code primitif local.
Techniques for iterative feature extraction using domain knowledge are provided.
L'invention concerne des techniques d'extraction de caractéristiques itérative en utilisant des connaissances de domaine.
Similarly, a method of indigotine extraction using sodium dithionite has been developed.
De la même manière, il a été mis au point un procédé d'extraction de l'indigotine par usage du dithionite de sodium.
by path extraction using minimization of at least a potential
par extraction de voie en utilisant la minimisation d'au moins un potentiel
circuit simulator parameter extraction using a configurable ring oscillator
extraction de paramètre de simulateur de circuit utilisant un oscillateur à anneau configurable
The deactivated catalyst is subsequently regenerated by extraction using an organic or inorganic solvent.
Le catalyseur désactivé est ensuite régénéré par extraction à l'aide d'un solvant organique ou inorganique.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 207. Exact: 1. Verstreken tijd: 79 ms.
