Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Logic_in_computer_science> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Logic_in_computer_science abstract "Logic in computer science covers the overlap between the field of Logic and that of Computer Science. The topic can essentially be divided into three main areas:Theoretical foundations and analysisUse of computer technology to aid logiciansUse of concepts from logic for computer applications".
- Logic_in_computer_science thumbnail Logic_Gates.svg?width=300.
- Logic_in_computer_science wikiPageExternalLink logic-ai.
- Logic_in_computer_science wikiPageExternalLink ssll09_tiu_intlo.
- Logic_in_computer_science wikiPageExternalLink lics.
- Logic_in_computer_science wikiPageID "1151991".
- Logic_in_computer_science wikiPageRevisionID "602596990".
- Logic_in_computer_science hasPhotoCollection Logic_in_computer_science.
- Logic_in_computer_science subject Category:Formal_methods.
- Logic_in_computer_science subject Category:Logic_in_computer_science.
- Logic_in_computer_science comment "Logic in computer science covers the overlap between the field of Logic and that of Computer Science. The topic can essentially be divided into three main areas:Theoretical foundations and analysisUse of computer technology to aid logiciansUse of concepts from logic for computer applications".
- Logic_in_computer_science label "Logic in computer science".
- Logic_in_computer_science label "Lógica computacional".
- Logic_in_computer_science label "Логика в информатике".
- Logic_in_computer_science label "计算机逻辑".
- Logic_in_computer_science sameAs Lógica_computacional.
- Logic_in_computer_science sameAs Logika_konputazional.
- Logic_in_computer_science sameAs Q2651693.
- Logic_in_computer_science sameAs Q2651693.
- Logic_in_computer_science wasDerivedFrom Logic_in_computer_science?oldid=602596990.
- Logic_in_computer_science depiction Logic_Gates.svg.
- Logic_in_computer_science isPrimaryTopicOf Logic_in_computer_science.
