интерактивная система доказательства

Terms for subject Artificial intelligence containing интерактивная система доказательства | all forms

Russian	English
интерактивная система автоматического доказательства теорем	interactive proof checker (корпорации AdaCore Alex_Odeychuk)