Automated Reasoning
method
ID: automatedreasoning
Entity Details
Basic Information
Entity ID
automatedreasoning
Entity Type
Method
English Label
Automated Reasoning
Russian Label
Автоматизированное рассуждение
Kazakh Label
Автоматтандырылған пайымдау
Frequency
3
Description
English Description
The area of computer science and mathematical logic dedicated to understanding different aspects of reasoning.
Russian Description
-
Kazakh Description
-