Browsing French translation

11491 of 87440 results
11491.
Formed is a formula editor for first-order logic formulas that lets you simplify quantified formulas by quantifier transformation among other things.
Description
Formed est un éditeur de formules pour les formules de logique du premier ordre qui vous permet de simplifier les formules quantifiées par transformation de quantificateur entre autres.
Translated by Anne017 on 2014-11-23
Reviewed by Jean-Marc on 2014-11-26
Located in Package: formed
11491 of 87440 results

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.