Dictionnaire français - anglais

électronique et électrotechnique - iate.europa.eu
électronique et électrotechnique - iate.europa.eu
Representing wp semantics in isabelle/zf... We use the Isabelle/ZF theorem prover for untyped set theory, and statements in our renement language are represented as set transformers....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu


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