Logic in computer science

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Academic discipline Formal method Model checking tool
rdfs:label	Logic in computer science
owl:sameAs	dbr:Logic_in_computer_science
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Tom_Ritchey http://en.wikipedia.org/wiki/Glue_logic http://en.wikipedia.org/wiki/TUM_Department_of_Informatics http://en.wikipedia.org/wiki/Statistical_relational_learning http://en.wikipedia.org/wiki/Computer_architecture http://en.wikipedia.org/wiki/Category:Formal_methods http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q) http://en.wikipedia.org/wiki/List_of_academic_fields http://en.wikipedia.org/wiki/Outline_of_philosophy http://en.wikipedia.org/wiki/Integrated_circuit_design http://en.wikipedia.org/wiki/BACPAC http://en.wikipedia.org/wiki/Outline_of_academic_disciplines http://en.wikipedia.org/wiki/Design_closure http://en.wikipedia.org/wiki/Computation http://en.wikipedia.org/wiki/John_P._Hayes http://en.wikipedia.org/wiki/Fluidinfo http://en.wikipedia.org/wiki/List_of_model_checking_tools http://en.wikipedia.org/wiki/Bachelor_of_Computer_Science http://en.wikipedia.org/wiki/Motorola_68000_series
skos:prefLabel	Logic in computer science
skos:altLabel	Logic logic logic in computer science LICS computer logic logic elements relevance to computer science
is clgo:academicDiscipline of	Georg Gottlob Helmut Veith Mikołaj Bojańczyk Ian Horrocks
is clgo:knownFor of	Ray Turner (computer scientist) Alexander Razborov

About: clgr:Logic_in_computer_science