Angielski ⇄ Niemiecki Rosyjski +

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

proof-system : 25 do fraz, 14 tematyki

Astronautyka	1
Badania i rozwój	1
Bezpieczeństwo informacji i ochrona danych	3
Elektronika	1
Inżynieria radiowa	2
Kryptografia	6
Oprogramowanie	2
Pospolicie	1
Programowanie	2
Sachalin	1
Systemy bezpieczeństwa	2
Technika i technologia	1
Technologia informacyjna	1
Zautomatyzowany sprzęt	1