DictionaryForumContacts

   Russian
Terms for subject Computers containing доказательство | all forms
RussianGerman
алгоритм доказательстваBeweisalgorithmus (напр., теоремы)
ВМ для доказательства теоремInferenzmaschine
программа доказательства теоремGewinnungsprogramm