Matches in DBpedia 2015-10 for { ?s ?p "Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Automated_reasoning comment "Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically.".