Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Logic_in_computer_science> ?p ?o }
Showing triples 1 to 76 of
76
with 100 triples 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 analysis Use of computer technology to aid logicians Use 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 wikiPageLength "13920".
- Logic_in_computer_science wikiPageOutDegree "40".
- Logic_in_computer_science wikiPageRevisionID "705176179".
- Logic_in_computer_science wikiPageWikiLink Academic_conference.
- Logic_in_computer_science wikiPageWikiLink Alan_Turing.
- Logic_in_computer_science wikiPageWikiLink Alfred_North_Whitehead.
- Logic_in_computer_science wikiPageWikiLink Allen_Newell.
- Logic_in_computer_science wikiPageWikiLink Alonzo_Church.
- Logic_in_computer_science wikiPageWikiLink Artificial_intelligence.
- Logic_in_computer_science wikiPageWikiLink Automated_theorem_proving.
- Logic_in_computer_science wikiPageWikiLink Bertrand_Russell.
- Logic_in_computer_science wikiPageWikiLink Cambridge_University_Press.
- Logic_in_computer_science wikiPageWikiLink Category:Formal_methods.
- Logic_in_computer_science wikiPageWikiLink Category:Logic_in_computer_science.
- Logic_in_computer_science wikiPageWikiLink Category_theory.
- Logic_in_computer_science wikiPageWikiLink Computational_logic.
- Logic_in_computer_science wikiPageWikiLink Computer_science.
- Logic_in_computer_science wikiPageWikiLink Concurrent_computing.
- Logic_in_computer_science wikiPageWikiLink Curry–Howard_correspondence.
- Logic_in_computer_science wikiPageWikiLink Expert_system.
- Logic_in_computer_science wikiPageWikiLink First-order_logic.
- Logic_in_computer_science wikiPageWikiLink Frame_language.
- Logic_in_computer_science wikiPageWikiLink Frame_problem.
- Logic_in_computer_science wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Logic_in_computer_science wikiPageWikiLink Herbert_A._Simon.
- Logic_in_computer_science wikiPageWikiLink KL-ONE.
- Logic_in_computer_science wikiPageWikiLink Knowledge_Based_Software_Assistant.
- Logic_in_computer_science wikiPageWikiLink Logic.
- Logic_in_computer_science wikiPageWikiLink Logic_programming.
- Logic_in_computer_science wikiPageWikiLink Modus_ponens.
- Logic_in_computer_science wikiPageWikiLink Prentice_Hall.
- Logic_in_computer_science wikiPageWikiLink Principia_Mathematica.
- Logic_in_computer_science wikiPageWikiLink Rule-based_system.
- Logic_in_computer_science wikiPageWikiLink Semantic_Web.
- Logic_in_computer_science wikiPageWikiLink Springer_Science+Business_Media.
- Logic_in_computer_science wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Logic_in_computer_science wikiPageWikiLink Temporal_logic.
- Logic_in_computer_science wikiPageWikiLink Theory_of_computation.
- Logic_in_computer_science wikiPageWikiLink Very-large-scale_integration.
- Logic_in_computer_science wikiPageWikiLink Web_Ontology_Language.
- Logic_in_computer_science wikiPageWikiLink File:Logic_Gates.svg.
- Logic_in_computer_science wikiPageWikiLinkText "Logic in Computer Science".
- Logic_in_computer_science wikiPageWikiLinkText "Logic in computer science".
- Logic_in_computer_science wikiPageWikiLinkText "logic elements".
- Logic_in_computer_science wikiPageWikiLinkText "logic in computer science".
- Logic_in_computer_science wikiPageWikiLinkText "logic".
- Logic_in_computer_science wikiPageWikiLinkText "relevance to computer science".
- Logic_in_computer_science wikiPageUsesTemplate Template:Cite_book.
- Logic_in_computer_science wikiPageUsesTemplate Template:For.
- Logic_in_computer_science wikiPageUsesTemplate Template:Logic.
- Logic_in_computer_science wikiPageUsesTemplate Template:Reflist.
- Logic_in_computer_science subject Category:Formal_methods.
- Logic_in_computer_science subject Category:Logic_in_computer_science.
- Logic_in_computer_science type Area.
- Logic_in_computer_science type Area.
- Logic_in_computer_science type Method.
- Logic_in_computer_science type Page.
- 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 analysis Use of computer technology to aid logicians Use of concepts from logic for computer applications".
- Logic_in_computer_science label "Logic in computer science".
- Logic_in_computer_science sameAs Q2651693.
- Logic_in_computer_science sameAs Lògica_computacional.
- Logic_in_computer_science sameAs Lógica_computacional.
- Logic_in_computer_science sameAs Logika_konputazional.
- Logic_in_computer_science sameAs Логика_в_информатике.
- Logic_in_computer_science sameAs Логіка_в_інформатиці.
- Logic_in_computer_science sameAs Q2651693.
- Logic_in_computer_science sameAs 计算机逻辑.
- Logic_in_computer_science wasDerivedFrom Logic_in_computer_science?oldid=705176179.
- Logic_in_computer_science depiction Logic_Gates.svg.
- Logic_in_computer_science isPrimaryTopicOf Logic_in_computer_science.
