Anglais ⇄ Allemand Russe +

proof system contraintes
math.	система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)
scient.	система доказательства (MichaelBurov)

proof-system : 25 phrases, 14 sujets

Astronautique	1
Cryptographie	6
Électronique	1
Équipement automatisé	1
Général	1
Informatique	1
Logiciel	2
Programmation	2
Radioingénierie	2
Recherche et développement	1
Sakhaline	1
Sécurité des informations et protection des données	3
Systèmes de sécurité	2
Technologie	1