About: Logic in computer science

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

Academic discipline

Property	Value
dbo:description	academic discipline (en) رشته دانشگاهی (fa)
dbo:thumbnail	wiki-commons:Special:FilePath/Logic_Gates.svg?width=300
dbo:wikiPageExternalLink	https://web.archive.org/web/20051025052601/http:/www.informatik.hu-berlin.de/lics/ http://videolectures.net/ssll09_tiu_intlo/ https://www.cl.cam.ac.uk/~jrh13/atp/%7Ctitle=Handbook https://www.math.uwaterloo.ca/~snburris/htdocs/lmcs.html%7Ctitle=Logic http://www.cs.bham.ac.uk/research/lics/%7Ctitle=Logic https://www.weizmann.ac.il/sci-tea/benari/research-activities/mathematical-logic-computer-science-third-edition%7Ctitle=Mathematical http://plato.stanford.edu/entries/logic-ai/
dbo:wikiPageWikiLink	dbr:Automated_reasoning dbr:Logic_programming dbr:Category_theory dbr:KL-ONE dbr:Artificial_intelligence dbc:Formal_methods dbr:Bertrand_Russell dbr:First-order_logic dbr:Principia_Mathematica dbc:Logic_in_computer_science dbr:Modus_ponens dbr:Rule-based_system dbr:Frame_language dbr:Logic dbr:Modal_logic dbr:Computability_theory dbr:Alan_Turing dbr:Computer_science dbr:Kurt_Gödel dbr:Alonzo_Church dbr:Web_Ontology_Language dbr:Allen_Newell dbr:Theory_of_computation dbr:Alfred_North_Whitehead dbr:Expert_system dbr:Herbert_A._Simon dbr:Academic_conference dbr:Temporal_logic dbr:Curry–Howard_correspondence dbr:Stanford_Encyclopedia_of_Philosophy dbr:Frame_problem dbr:Computational_logic dbr:Knowledge_representation dbr:Very_Large_Scale_Integration dbr:Knowledge_Based_Software_Assistant dbr:Semantic_web dbr:Concurrency_(computing) dbr:Gödel's_incompleteness_theorem dbr:File:Logic_Gates.svg
dbp:wikiPageUsesTemplate	dbt:Digital_electronics dbt:Cite_book dbt:Reflist dbt:Logic dbt:For dbt:Short_description
dct:subject	dbc:Formal_methods dbc:Logic_in_computer_science
rdfs:label	Logic in computer science (en) المنطق في علوم الحاسب (ar) Lógica na ciência da computação (pt) Логіка в інформатиці (uk) 计算机逻辑 (zh)
owl:sameAs	yago-res:Logic in computer science wikidata:Logic in computer science dbpedia-zh:Logic in computer science dbpedia-pt:Logic in computer science dbpedia-fa:Logic in computer science dbpedia-ar:Logic in computer science dbpedia-uk:Logic in computer science dbpedia-global:Logic in computer science dbr:Logic in computer science
prov:wasDerivedFrom	wikipedia-en:Logic_in_computer_science?oldid=1295957488&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Logic_Gates.svg
foaf:isPrimaryTopicOf	wikipedia-en:Logic_in_computer_science
is dbo:academicDiscipline of	dbr:Helmut_Veith dbr:Georg_Gottlob dbr:Mikołaj_Bojańczyk dbr:Ian_Horrocks
is dbo:knownFor of	dbr:Alexander_Razborov dbr:Ray_Turner_(computer_scientist)
is dbo:wikiPageDisambiguates of	dbr:LICS
is dbo:wikiPageRedirects of	dbr:LICS_(topic)
is dbo:wikiPageWikiLink of	dbr:Helmut_Veith dbr:Phokion_G._Kolaitis dbr:Logic_programming dbr:Epistemic_modal_logic dbr:Formal_methods dbr:LICS dbr:Georg_Gottlob dbr:Lindström_quantifier dbr:Index_of_philosophy_articles_(I–Q) dbr:Alasdair_Urquhart dbr:Theoretical_computer_science dbr:Computer_science dbr:Alexander_Razborov dbr:Harry_Mairson dbr:Outline_of_academic_disciplines dbr:I_Ching dbr:Abbas_Edalat dbr:Symposium_on_Logic_in_Computer_Science dbr:Ray_Turner_(computer_scientist) dbr:Vienna_Summer_of_Logic dbr:RuleML_Symposium dbr:Post-silicon_validation dbr:ACM_Transactions_on_Computational_Logic dbr:Switching_circuit_theory dbr:Dynamic_epistemic_logic dbr:Mikołaj_Bojańczyk dbr:Computational_logic dbr:Semantic_interoperability dbr:Ian_Horrocks dbr:Allan_L._Scherr dbr:List_of_academic_fields dbr:Sergei_N._Artemov dbr:Leonid_Libkin dbr:Jose_Meseguer dbr:Thomas_Colcombet dbr:LICS_(topic)
is dbp:discipline of	dbr:RuleML_Symposium
is dbp:fields of	dbr:Mikołaj_Bojańczyk
is dbp:knownFor of	dbr:Alexander_Razborov
is foaf:primaryTopic of	wikipedia-en:Logic_in_computer_science