Перевод "resolution theorem proving" на французский

Выберите исходный язык

Исходный текст

26 / 999

Выберите язык перевода

Перевод

Ваш текст переведен частично.
Вы можете переводить не более 999 символов за один раз.
Войдите или зарегистрируйтесь бесплатно на PROMT.One и переводите еще больше!

Словарь для "resolution theorem proving"

resolution theorem proving существительное

мн. resolution theorem provings

la démonstration des théorèmes par résolution f (ИТ)

Контексты с "resolution theorem proving"

We balloted for the resolution. La résolution fut mise en ballottage.

Obviously, the theorem is true for finite sets. Évidemment, le théorème est vrai pour les ensembles finis.

A watered down compromise resolution is better than none at all. Une résolution sur un compromis restreint est préférable à rien du tout.

Note that this theorem does not assume the existence of such an object. Notez bien que ce théorème ne présuppose pas l'existence d'un tel objet.

This United Nations resolution calls for the withdrawal of Israel armed forces from territories occupied in the recent conflict. Cette résolution des Nations Unies appelle au retrait des forces armées israéliennes des territoires occupés dans le récent conflit.

Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам

Бот-переводчик

Перевод в Telegram

Перейти

PROMT Master NMT

Точный переводчик документов

СКАЧАТЬ