Anglais ⇄ Allemand Danois Espagnol Finnois Français Grec Italien Japonais Langues chinoises Néerlandais Portugais Russe Suédois +

theorem prover contraintes
informat.	инструмент доказательства теорем (wikipedia.org Alex_Odeychuk)
intell.	доказатель теорем (Microsoft Alex_Odeychuk); система доказательства теорем (Microsoft Alex_Odeychuk); доказыватель теорем (Alex_Odeychuk); системой автоматического доказательства теорем (Alex_Odeychuk)
math., logic.	утилита автоматического доказательства теорем (Alex_Odeychuk)
progr.	инструмент автоматического доказательства теорем (Alex_Odeychuk)
électr.	программа для доказательства теорем (с использованием аксиоматической базы данных)

theorem prover : 13 phrases, 5 sujets

Informatique	1
Intelligence artificielle	9
Logiciel	1
Makarov	1
Programmation	1