About: Automated reasoning

An Entity of Type: academic subject, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Subfield of computer science and logic

Property Value
dbo:description
  • галузь досліджень теоретичної інформатики та логіки (uk)
  • subcamp de la informàtica i la lògica (ca)
  • subfield of computer science and logic (en)
  • subveld van rekenaarwetenskap en logika (af)
  • lĩnh vực phụ của khoa học máy tính và logic (vi)
  • domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement (fr)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdf:type
rdfs:label
  • Automated reasoning (en)
  • منطق آلي (ar)
  • Arrazoiketa automatiko (eu)
  • Razonamiento automático (es)
  • Raisonnement automatisé (fr)
  • Ragionamento automatico (it)
  • 自動推論 (ja)
  • 자동화된 추론 (ko)
  • Автоматизоване міркування (uk)
  • 自动推理 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:genre of
is dbo:notableIdea of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:field of
is dbp:fields of
is dbp:genre of
is dbp:notableIdeas of
is dbp:subDiscipline of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International