bn:02248404n
Noun Concept
NL
geautomatiseerde redeneren
EN
In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. Wikipedia
Relations
Sources
Wikipedia Translations