אנגלית ⇄ איטלקית גרמנית צרפתית +

non-monotonic theorem prover
.טכנול	démonstrateur de théorèmes non monotones