Vertaling van "Prouvabilité non monotone " (Frans → Engels) :

prouvabilité non monotone
nonmonotonic provability

moteur d'inférence non monotonique | moteur d'inférence non monotone | moteur d'inférences non monotone
non-monotonic inference engine | nonmonotonic inference engine | nonmonotone inference engine

déduction non monotone [ déduction non monotonique ]
non-monotonic deduction

acte non monotone [ acte non monotonique ]
non-monotonic act

logique non-monotone | logique non-monotonique
non-monotonic logic | nonmonotonic logic | non-monotonous logic

démonstrateur de théorèmes non monotones
non-monotonic theorem prover

suite monotone
monotonic sequence

Suite monotone
Monotonic sequence

inférence non monotone
non-monotonic inference | nonmonotonic inference | nonmonotone inference