Terms for subject Artificial intelligence containing автоматические системы

Russian	English
интерактивная система автоматического доказательства теорем	interactive proof checker (корпорации AdaCore Alex_Odeychuk)
конкурс систем автоматического доказательства теорем	ATP system competition (ATP – сокр. от "automated theorem proving" Alex_Odeychuk)
система автоматического доказательства теорем	proof assistant (Alex_Odeychuk)
система автоматического доказательства теорем	automated theorem prover (Microsoft Alex_Odeychuk)
система автоматического доказательства теорем	automated theorem proving system (Alex_Odeychuk)
система автоматического доказательства теорем	ATP system (сокр. от "automated theorem proving system" Alex_Odeychuk)
система автоматического доказательства теорем общего назначения	generic proof assistant (Alex_Odeychuk)
система автоматического планирования и составления графика	automated planning and scheduling system (Alex_Odeychuk)
система автоматической классификации текстов правовых актов	system to automatically classify legal text (Alex_Odeychuk)
система с искусственного интеллекта для автоматической генерации тестов	AI for automatic test generation (Alex_Odeychuk)
системой автоматического доказательства теорем	theorem prover (Alex_Odeychuk)
язык описания логических систем для автоматического поиска доказательств	automated verification and proof description language (Alex_Odeychuk)