Автоматизированное рассуждение

method ID: automatedreasoning

Детали сущности

ID сущности

automatedreasoning

Тип сущности

Method

Английская метка

Automated Reasoning

Русская метка

Автоматизированное рассуждение

Казахская метка

Автоматтандырылған пайымдау

Частота

Английское описание

The area of computer science and mathematical logic dedicated to understanding different aspects of reasoning.

Русское описание

Казахское описание